Distributed cooperative formal methods tools

Joseph Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato

Research output: Contribution to conferencePaperpeer-review

Fingerprint

Dive into the research topics of 'Distributed cooperative formal methods tools'. Together they form a unique fingerprint.

Engineering & Materials Science