Combining static analysis and model checking for software analysis.
Uloženo v:
| Název: | Combining static analysis and model checking for software analysis. |
|---|---|
| Autoři: | Brat, G., Visser, W. |
| Zdroj: | Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001); 2001, p262-269, 8p |
| Databáze: | Complementary Index |
Full Text Finder Buďte první, kdo okomentuje tento záznam!