The Bedwyr system for model checking over syntactic expressions
Date
2007
Authors
Baelde, David
Gacek, Andrew
Miller, Dale
Nadathur, Gopalan
Tiu, Alwen
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Citation
Collections
Source
Automated Deduction - CADE 21: 21st International Conference on Automated Deduction Proceedings
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31
Downloads
File
Description