Sergio Antoy

Graduation Year: 
1987
Dissertation: 
Automatically provable specifications