Akira Mori, Grigore Rosu, and Akiyoshi Sato. Distributed cooperative formal methods tools (1997)

by Joseph Goguen, Kai Lin
Venue:Proceedings, Automated Software Engineering