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]
@article{MendiasHP02,
title = {A study about the efficiency of formal high-level synthesis applied to verification},
author = {José M. Mendías and Román Hermida and Olga Peñalba},
year = {2002},
doi = {10.1016/S0167-9260(02)00021-4},
url = {http://dx.doi.org/10.1016/S0167-9260(02)00021-4},
researchr = {https://researchr.org/publication/MendiasHP02},
cites = {0},
citedby = {0},
journal = {Integration},
volume = {31},
number = {2},
pages = {101-131},
}