Sciweavers

Share
CADE
2007
Springer

The Bedwyr System for Model Checking over Syntactic Expressions

12 years 7 days ago
The Bedwyr System for Model Checking over Syntactic Expressions
David Baelde, Andrew Gacek, Dale Miller, Gopalan N
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2007
Where CADE
Authors David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
Comments (0)
books