Distributed cooperative formal methods tools (0)

by Joseph Goguen, Akira Mori, Kai Lin, Girgore Rosu, Akiyoshi Sato
Venue:In Proceedings, Automated Software Engineering (Lake Tahoe NV, 3-5 Nov 1997) IEEE