Peter-Michael Seidel. A Case for Multi-level Combination of Theorem Proving and Model Checking Tools. In 15th International Microprocessor Test and Verification Workshop, MTV 2014, Austin, TX, USA, December 15-16, 2014. pages 90-97, IEEE, 2014. [doi]
@inproceedings{Seidel14a,
title = {A Case for Multi-level Combination of Theorem Proving and Model Checking Tools},
author = {Peter-Michael Seidel},
year = {2014},
doi = {10.1109/MTV.2014.29},
url = {http://dx.doi.org/10.1109/MTV.2014.29},
researchr = {https://researchr.org/publication/Seidel14a},
cites = {0},
citedby = {0},
pages = {90-97},
booktitle = {15th International Microprocessor Test and Verification Workshop, MTV 2014, Austin, TX, USA, December 15-16, 2014},
publisher = {IEEE},
isbn = {978-1-4673-6858-2},
}