Export Citations
0 Results for: Book/Issue: LFMTP '13: Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,856,365 records)|Limit your search to The ACM Full-Text Collection (778,808 records)
Showing 0 - 0of0
Your search did not return any results.