New York

Thomas Wies

Expert
@wies
cs.nyu.edu/wies

grasshopper. An automated deductive program verifier.

42

vermeer. An Automated Debugging Tool for C

3
2
Apply