Experts has a new look! Let us know what you think of the updates.
Provide feedback
Home
Scholarly Works
Specification-Driven Design with Eiffel and Agents...
Other
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods - Research Database, The University of York
Associated Experts
Richard Paige
Professor, Faculty of Engineering
Visit profile
View published work (Non-McMaster Users)