This page shows all presentations of this author published in EasyChair Smart Slide.
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
Lucas Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel and Marek Trtik