View in EDS

CHET: a system for checking dynamic specifications.

Saved in:
Bibliographic Details
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!
You must be logged in first