An Overview of the Tatami Project (2000)

Cached

Download Links

by Joseph Goguen , Kai Lin , Grigore Rosu , Akira Mori , Bogdan Warinschi
Citations:13 - 8 self

Document Versions

An Overview of the Tatami Project –Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi — 2000
An Overview of the Tatami Project –Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi — 2000 — In Cafe: An Industrial-Strength Algebraic Formal Method
An Overview of the Tatami Project –Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi — 1999