Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer 0002. Applying symbolic bounded model checking to the 2012 RERS greybox challenge. STTT, 16(5):519-529, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.