Sciweavers

CAV
1999
Springer

Java Bytecode Verification by Model Checking

14 years 4 months ago
Java Bytecode Verification by Model Checking
David A. Basin, Stefan Friedrich, Joachim Posegga,
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where CAV
Authors David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
Comments (0)