@article{7a759b2fc7804272a53e097b81d270f5,
title = "Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification",
author = "\{Gonzalez de Aledo\}, Pablo and Nils Przigoda and Robert Wille and Rolf Drechsler and Pablo Sanchez",
year = "2017",
month = mar,
doi = "10.1109/TCAD.2016.2611494",
language = "English",
volume = "36",
pages = "475--488",
journal = "IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD)",
issn = "1937-4151",
publisher = "IEEE",
number = "3",
}