Cite Them Right 11th edition - Harvard

Lucas Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel and Marek Trtik (2018) “JBMC: a bounded model checking tool for verifying java bytecode”, in.

Chicago Manual of Style 17th edition (full note)

Lucas Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, and Marek Trtik. “JBMC: a bounded model checking tool for verifying java bytecode”. In .

American Psychological Association 7th edition

Lucas Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, & Marek Trtik. (2018, January 1). JBMC: a bounded model checking tool for verifying java bytecode.

Modern Language Association 9th edition

Lucas Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, and Marek Trtik. JBMC: a bounded model checking tool for verifying java bytecode. 2018.

ISO-690 (author-date, Deutsch)

LUCAS CORDEIRO, PASCAL KESSELI, DANIEL KROENING, PETER SCHRAMMEL and MAREK TRTIK, 2018. JBMC: a bounded model checking tool for verifying java bytecode. In: . 1 January 2018

Warning: These citations may not always be 100% accurate.