Working with Formal Methods

Authors: Nicholls, John

Journal: Journal of Information Technology (1987)

DOI: 10.1057/jit.1987.13

View in Otero