The Hob system for verifying software design properties (2007)

by Patrick Lam