Simple verification technique for complex Java bytecode subroutines (2002)

by Alessandro Coglio
Venue:In Proc. 4th ECOOP Workshop on Formal Techniques for Java-like Programs
Citations:18 - 2 self