![](/img/cover-not-exists.png)
[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Optimizing a Structural Constraint Solver for Efficient Software Checking
Siddiqui, Junaid Haroon, Marinov, Darko, Khurshid, SarfrazYear:
2009
Language:
english
DOI:
10.1109/ase.2009.52
File:
PDF, 422 KB
english, 2009