DMCA

A Programming Logic for Java Bytecode Programs (2003)

Cached

Download Links

by Claire Louise Quigley , Claire Louise Quigley
Venue:In Proceedings of the 16th International Conference on Theorem Proving in Higher Order LOglCS, volume 2758 of Lecture Notes in Computer Science
Citations:14 - 1 self