The Role of Formal Methods in Software Development

Authors: McDermid, John

Journal: Journal of Information Technology (1987)

DOI: 10.1057/jit.1987.25

View in Otero