Power and Limitations of Formal Methods for Software Fabrication

Authors: Jackson, Michael

Journal: Journal of Information Technology (1987)

DOI: 10.1057/jit.1987.14

View in Otero