The Hob System for Verifying Software Design Properties (2006)

by P Lam