Modeling a Hardware Synthesis Methodology in Isabelle (1996)

by David Basin , Stefan Friedrich
Venue:In Theorem Proving in Higher Order Logics (TPHOLs'96), volume 1125 of LNCS
Citations:6 - 4 self