Skip navigation
Skip navigation

Browsing by Author Miller, Dale

Or enter first few letters:  
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
TypeConference paper
Date Published2007
Date CreatedJuly 17-20 2007

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator