DMCA

Termination analysis of Java Bytecode (2008)

by Elvira Albert , Puri Arenas , Michael Codish , Samir Genaim , Germán Puebla , Damiano Zanardini
Venue:In Proc. of the International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS ’08). Lecture Notes in Computer Science
Citations:43 - 18 self