Experts has a new look! Let us know what you think of the updates.
Provide feedback
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)