An Overview of the Tatami Project (2000)
Cached
Download Links
- [ase.arc.nasa.gov]
- [www.cs.ucsd.edu]
- [www-cse.ucsd.edu]
- DBLP
Other Repositories/Bibliography
by
Joseph Goguen
,
Kai Lin
,
Grigore Rosu
,
Akira Mori
,
Bogdan Warinschi
| Citations: | 14 - 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 |
