In EDS ansehen

Tool demonstration: CHET: checking specifications in Java systems.

Gespeichert in:

Bibliographische Detailangaben
Titel:	Tool demonstration: CHET: checking specifications in Java systems.
Autoren:	Reiss, S.P.
Quelle:	13th International Workshop on Program Comprehension (IWPC'05); 2005, p165-168, 4p
Datenbank:	Complementary Index

Beschreibung
ISBN:	9780769522548
DOI:	10.1109/WPC.2005.40