Searching for "Distributed Cooperative Formal Methods Tools." – sorted by Relevance.
-
Distributed Cooperative Formal Methods Tools
- Distributed Cooperative Formal Methods Tools Joseph Goguen, Kai Lin, Akira Mori, Grigore Rosu
- Cited by 7 (4 self) – Add To MetaCart

