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)