Formal Verification of a Basic Circuits Library (2001)

by Christoph Berg , Christian Jacobi , Daniel Kroening
Venue:In Proc. of IASTED Int. Conf. on Applied Informatics, Innsbruck (AI 2001
Citations:7 - 4 self