Cordeiro, L., Kesseli, P., Kroening, D., Schrammel, P. und Trtik, M. (2018) „JBMC: a bounded model checking tool for verifying java bytecode“, in. Springer. doi:10.1007/978-3-319-96145-3_10.
Chicago Manual of Style 17th edition (full note)Cordeiro, Lucas, Pascal Kesseli, Daniel Kroening, Peter Schrammel, und Marek Trtik. „JBMC: a bounded model checking tool for verifying java bytecode“. In, . Springer, 2018, Springer, 2018. https://doi.org/10.1007/978-3-319-96145-3_10.
American Psychological Association 7th editionCordeiro, L., Kesseli, P., Kroening, D., Schrammel, P., & Trtik, M. (2018, Januar 1). JBMC: a bounded model checking tool for verifying java bytecode. https://doi.org/10.1007/978-3-319-96145-3_10
Modern Language Association 9th editionCordeiro, L., P. Kesseli, D. Kroening, P. Schrammel, und M. Trtik. JBMC: a bounded model checking tool for verifying java bytecode. Springer, 2018, https://doi.org/10.1007/978-3-319-96145-3_10.
ISO-690 (author-date, Deutsch)CORDEIRO, Lucas, Pascal KESSELI, Daniel KROENING, Peter SCHRAMMEL und Marek TRTIK, 2018. JBMC: a bounded model checking tool for verifying java bytecode. In: . Springer. 1 Januar 2018