Sergio Antoy

placeholder image for Sergio Antoy
Graduation Year:
1987
Dissertation:
Automatically provable specifications
Advisor(s):
John D. Gannon