Sadler, Martin

Sadler, Martin has 1 paper(s) in the AIS Basket corpus on Otero.

1. Formal Methods: A Commentary — Journal of Information Technology, 1987