×
2019
Certifying Hardware Model Checking Results.
[DOI]
Zhengqi Yu
,
Armin Biere
,
Keijo Heljanko
Proceedings of the Formal Methods and Software Engineering, 2019