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:9 - 0 self