Fingerprint
Dive into the research topics of 'JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
Lucas Cordeiro, Pascal Kesseli, D. Kroening, Peter Schrammel, Marek Trtik
Research output: Non-textual form › Software