View in EDS

Tool demonstration: CHET: checking specifications in Java systems.

Saved in:

Bibliographic Details
Title:	Tool demonstration: CHET: checking specifications in Java systems.
Authors:	Reiss, S.P.
Source:	13th International Workshop on Program Comprehension (IWPC'05); 2005, p165-168, 4p
Database:	Complementary Index

Be the first to leave a comment!