Home
Scholarly Works
Parallel Bounded Verification of Alloy Models by...
Other
Parallel Bounded Verification of Alloy Models by TranScoping \textbar SpringerLink
Associated Experts
Carlos Gustavo Lopez Pombo
Adjunct Associate Professor, Faculty of Engineering
Visit profile
View published work (Non-McMaster Users)
Contact the Experts team
Get technical help
or
Provide website feedback