论文信息 - A Software Quality Course: The Breadth Approach - 字舞流文

A Software Quality Course: The Breadth Approach

[1] C. Newcombe,et al. How Amazon web services uses formal methods , 2015, Commun. ACM.

[2] Paul Benoit,et al. Météor: A Successful Application of B in a Large Project , 1999, World Congress on Formal Methods.

[3] Byron Cook,et al. Formal Reasoning About the Security of Amazon Web Services , 2018, CAV.