T. Mehler. Challenges and Applications of Assembly-Level Software Model Checking. PhD thesis, University of Dortmund, 2006. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
External Program Model Checking - Stefan Edelkamp Shahid (Correct)
No context found.
T. Mehler. Challenges and Applications of Assembly-Level Software Model Checking. PhD thesis, University of Dortmund, 2006.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC