Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs

Detalhes bibliográficos
Main Authors: O'Leary, J, Kaivola, R, Melham, T
Formato: Conference item
Publicado em: IEEE 2013