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