Sergio Antoy

Graduation Year:
1987
Dissertation:
Automatically provable specifications
Advisor(s):
John D. Gannon