Jeffrey Fischer

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