Jeffrey Fischer

Graduation Year:
1996
Dissertation:
Compositional verification by model checking for counter-examples
Advisor(s):
Richard Gerber