| CORDEIRO, Lucas, Pascal KESSELI, Daniel KROENING, Peter SCHRAMMEL a Marek TRTÍK. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. In Hana Chockler and Georg Weissenbacher. COMPUTER AIDED VERIFICATION (CAV 2018), PT I. 30th. Oxford, UK: Lecture Notes in Computer Science, 2018, s. 183-190. ISSN 0302-9743. Dostupné z: https://dx.doi.org/10.1007/978-3-319-96145-3_10. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{2266237,
author = {Cordeiro, Lucas and Kesseli, Pascal and Kroening, Daniel and Schrammel, Peter and Trtík, Marek},
address = {Oxford, UK},
booktitle = {COMPUTER AIDED VERIFICATION (CAV 2018), PT I},
doi = {http://dx.doi.org/10.1007/978-3-319-96145-3_10},
edition = {30th},
editor = {Hana Chockler and Georg Weissenbacher},
keywords = {JBMC; Bounded Model Checking; Java},
location = {Oxford, UK},
pages = {183-190},
publisher = {Lecture Notes in Computer Science},
title = {JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode},
url = {https://link.springer.com/chapter/10.1007/978-3-319-96145-3_10},
year = {2018}
}
TY - JOUR
ID - 2266237
AU - Cordeiro, Lucas - Kesseli, Pascal - Kroening, Daniel - Schrammel, Peter - Trtík, Marek
PY - 2018
TI - JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
PB - Lecture Notes in Computer Science
CY - Oxford, UK
KW - JBMC
KW - Bounded Model Checking
KW - Java
UR - https://link.springer.com/chapter/10.1007/978-3-319-96145-3_10
ER -
CORDEIRO, Lucas, Pascal KESSELI, Daniel KROENING, Peter SCHRAMMEL a Marek TRTÍK. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. In Hana Chockler and Georg Weissenbacher. \textit{COMPUTER AIDED VERIFICATION (CAV 2018), PT I}. 30th. Oxford, UK: Lecture Notes in Computer Science, 2018, s.~183-190. ISSN~0302-9743. Dostupné z: https://dx.doi.org/10.1007/978-3-319-96145-3\_{}10.
|
