Forum: A multiple-conclusion specification logic (1996)
Cached
Download Links
- [www.lix.polytechnique.fr]
- [www.lix.polytechnique.fr]
- [www.disi.unige.it]
- DBLP
Other Repositories/Bibliography
by
Dale Miller
| Venue: | Theoretical Computer Science |
| Citations: | 75 - 10 self |
Document Versions
| Forum: A multiple-conclusion specification logic –Dale Miller — 1996 — Theoretical Computer Science |
| Forum: A Multiple-Conclusion Specification Logic –Dale Miller — 1996 — Theoretical Computer Science |
