[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - BLITZ: Compositional bounded model checking for real-world programs
Cho, Chia Yuan, D'Silva, Vijay, Song, DawnYear:
2013
Language:
english
DOI:
10.1109/ase.2013.6693074
File:
PDF, 390 KB
english, 2013