DMCA

The Bedwyr system for model checking over syntactic expressions (2007)

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