The Bedwyr system for model checking over syntactic expressions
- David Baelde
- , Andrew Gacek
- , Dale Miller
- , Gopalan Nadathur
- , Alwen Tiu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
51
Link opens in a new tab
Scopus
citations