Automatic Property Checking for Software: Past, Present and Future

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) ◽

10.1109/ase.2006.24 ◽

2006 ◽

Cited By ~ 1

Author(s):

S.K. Rajamani

Download Full-text