Formal Specification and Verification in VIsi Design (Edinburgh Information Tech (Edinburgh Information Technology Series, 8) | lit.salon