A Roadmap for Formal Property Verification - DasGupta, Pallab; SpringerLink (Online service) (Dordrecht : Springer, 2006)
Keywords: Engineering; Logic design; Computer science; Computer aided design; Electronics; Systems engineering; Engineering; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Electronics and Microelectronics, Instrumentation; Logic Design; Electronic and Computer Engineering; Mathematical Logic and Formal Languages