Jackson, Michael

Jackson, Michael has 1 paper(s) in the AIS Basket corpus on Otero.

1. Power and Limitations of Formal Methods for Software Fabrication — Journal of Information Technology, 1987