Browsing by Author Miller, Dale
Showing results 2 to 2 of 2
The Bedwyr system for model checking over syntactic expressions
Author(s) | Baelde, David; Gacek, Andrew; Miller, Dale, et al |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | July 17-20 2007 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator