Peter Leven

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2004
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM.
Proceedings of the Model Checking Software, 2004

2002
Directed Automated Theorem Proving.
Proceedings of the Logic for Programming, 2002


  Loading...