Forum: A multiple-conclusion specification logic (1996)

by Dale Miller
Venue:Theoretical Computer Science
Citations:85 - 11 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