Bytecode Verification by Model Checking
Published in Journal of Automated Reasoning • May 1, 2003
NobleIDNI9P64W90R11S34
Authors:,,
David Basin
Stefan Friedrich
Marek Gawkowski
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!