Maibaum, Tom

Maibaum, Tom has 1 paper(s) in the AIS Basket corpus on Otero.

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