Cobra — An interactive static code analyzer

2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) ◽

10.1109/ase.2017.8115610 ◽

2017 ◽

Author(s):

Gerard Holzmann

Download Full-text