Formal Methods: A Commentary

Authors: Maibaum, Tom; Sadler, Martin

Journal: Journal of Information Technology (1987)

DOI: 10.1057/jit.1987.15

View in Otero