DMCA
Mechanized metatheory model-checking (2007)
Cached
Download Links
- [homepages.inf.ed.ac.uk]
- [homepages.inf.ed.ac.uk]
- DBLP
Other Repositories/Bibliography
by
James Cheney
Venue: | In 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming |
Citations: | 10 - 0 self |