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:8 - 5 self