Azadeh Farzan, Jose Meseguer, and Grigor Rosu, "Formal JVM code analysis in JavaFAN," in Proc. of AMAST'04, July 2004. 15 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Rewriting Logic Semantics: From Language Specifications To.. - Meseguer, Rosu (2004) Self-citation (Meseguer Rosu) (Correct)
No context found.
A. Farzan, J. Meseguer, and G. Rosu. Formal JVM code analysis in JavaFAN. To appear in Proc. AMAST'04, Springer LNCS, 2004.
Incorporating Bounded Model Checking in Network.. - Sobeih, Viswanathan, Hou (2004) (Correct)
No context found.
Azadeh Farzan, Jose Meseguer, and Grigor Rosu, "Formal JVM code analysis in JavaFAN," in Proc. of AMAST'04, July 2004. 15
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