CHET: a system for checking dynamic specifications.
Uloženo v:
| Název: | CHET: a system for checking dynamic specifications. |
|---|---|
| Autoři: | Reiss, S.P. |
| Zdroj: | Proceedings 19th International Conference on Automated Software Engineering, 2004; 2004, p302-305, 4p |
| Databáze: | Complementary Index |
Full Text Finder | ISBN: | 9780769521312 |
|---|---|
| DOI: | 10.1109/ASE.2004.1342752 |