Jan Smans Bart Jacobs 0002 Frank Piessens VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. 220-239 2008 FMOODS http://dx.doi.org/10.1007/978-3-540-68863-1_14 conf/fmoods/2008 db/conf/fmoods/fmoods2008.html#SmansJP08