Home > Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III > JBMC: Bounded Model Checking for Java Bytecode
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III |
Springer International Publishing
JBMC: Bounded Model Checking for Java Bytecode
Chapter Info
Authors
ARI Id
1665177568919_5174224
Access
Open/Free Access
Pages
219-223
DOI
PDF URL
https://link.springer.com/content/pdf/10.1007/978-3-030-17502-3_17?pdf=chapter%20toc
Chapter URL
https://rd.springer.com/chapter/10.1007/978-3-030-17502-3_17
Table of Contents of Book
| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...
Similar News
Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...