McDermid, John

McDermid, John has 1 paper(s) in the AIS Basket corpus on Otero.

1. The Role of Formal Methods in Software Development — Journal of Information Technology, 1987