José M. Mendías, Román Hermida, Olga Peñalba. A study about the efficiency of formal high-level synthesis applied to verification. Integration, 31(2):101-131, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.