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