Combining static analysis and model checking for software analysis.
Saved in:
| Title: | Combining static analysis and model checking for software analysis. |
|---|---|
| Authors: | Brat, G., Visser, W. |
| Source: | Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001); 2001, p262-269, 8p |
| Database: | Complementary Index |
Full Text Finder | ISBN: | 9780769514260 |
|---|---|
| DOI: | 10.1109/ASE.2001.989812 |