DMCA
The Bedwyr system for model checking over syntactic expressions (2007)
Cached
Download Links
by
David Baelde
,
Andrew Gacek
,
Dale Miller
,
Gopalan Nadathur
,
Alwen Tiu
,
École Polytechnique
Venue: | 21th Conference on Automated Deduction, LNAI 4603, 391–397 |
Citations: | 29 - 18 self |