DMCA

Mechanized metatheory model-checking (2007)

Cached

Download Links

by James Cheney
Venue:In 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Citations:10 - 0 self