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)
Contact the Experts team
Get technical help
or
Provide website feedback