Vlad C. Ciubotariu

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Mark D. Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati
Combining Equivalence Verification and Completion Functions. FMCAD (2004)