CHET: a system for checking dynamic specifications.
Saved in:
| Title: | CHET: a system for checking dynamic specifications. |
|---|---|
| Authors: | Reiss, S.P. |
| Source: | Proceedings 19th International Conference on Automated Software Engineering, 2004; 2004, p302-305, 4p |
| Database: | Complementary Index |
Be the first to leave a comment!
Full Text Finder