Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving
Aagaard, Mark D. ; Melham, Thomas F. ; O’Leary, John W. Pierre, Laurence ; Kropf, Thomas
Correct Hardware Design and Verification Methods, 1999, p.202-218 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível