Jeffrey Fischer

Graduation Year: 
1996
Dissertation: 
Compositional verification by model checking for counter-examples