Zobrazit v EDS

Tool demonstration: CHET: checking specifications in Java systems.

Uloženo v:
Podrobná bibliografie
Název: Tool demonstration: CHET: checking specifications in Java systems.
Autoři: Reiss, S.P.
Zdroj: 13th International Workshop on Program Comprehension (IWPC'05); 2005, p165-168, 4p
Databáze: Complementary Index
Popis
ISBN:9780769522548
DOI:10.1109/WPC.2005.40