Distributed Cooperative Formal Methods Tools (1997)

by Joseph Goguen , Kai Lin , Akira Mori , Grigore Rosu , Akiyoshi Sato
Venue:In Proc. Automated Software Engineering. IEEE
Citations:7 - 4 self