The bounded model checker LLBMC
-
Autor:
Stefan Falke, Florian Merz, Carsten Sinz
-
Quelle:
2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013. IEEE 2013:706-709