Tools for Distributed Cooperative Design and Validation (1998)

by Joseph Goguen , Kai Lin , Akira Mori , Grigore Rosu , Akiyoshi Sato
Venue:In Proceedings, CafeOBJ Symposium. Japan Advanced Institute for Science and Technology
Citations:13 - 8 self