Formal hardware verification : methods and systems in comparison / ed. Thomas Kropf
Formal hardware verification : methods and systems in comparison / ed. Thomas Kropf
. - Berlin : Springer-Verlag, cop. 1997
. - XII, 367 p. : il. 24 cm
. - (Lecture notes in computer science; 1287))
3-540-63475-4 (Brochado)
681.3