UM
(Note: the search results are based on claimed items)

Browse/Search Results:  1-1 of 1 Help

Filters            
Selected(0)Clear Items/Page:    Sort:
Harnessing rCOS for tool support - The CoCoME experience Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Macao, PEOPLES R CHINA, SEP 24-25, 2007
Authors:  Chen Z.;  Li X.;  Liu Z.;  Stolz V.;  Yang L.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Formal Methods  Software Development Tool  Software Process  Tool Design