Grigory Fedyukovich, Antti E. J. Hyvarinen, Natasha Sharygina. Interpolation-based model checking for efficient incremental analysis of software. In Lukás Sekanina, Görschwin Fey, Jaan Raik, Snorre Aunet, Richard Ruzicka, editors, 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2013, Karlovy Vary, Czech Republic, April 8-10, 2013. pages 8-9, IEEE Computer Society, 2013. [doi]
@inproceedings{FedyukovichHS13,
title = {Interpolation-based model checking for efficient incremental analysis of software},
author = {Grigory Fedyukovich and Antti E. J. Hyvarinen and Natasha Sharygina},
year = {2013},
doi = {10.1109/DDECS.2013.6549778},
url = {http://doi.ieeecomputersociety.org/10.1109/DDECS.2013.6549778},
researchr = {https://researchr.org/publication/FedyukovichHS13},
cites = {0},
citedby = {0},
pages = {8-9},
booktitle = {16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2013, Karlovy Vary, Czech Republic, April 8-10, 2013},
editor = {Lukás Sekanina and Görschwin Fey and Jaan Raik and Snorre Aunet and Richard Ruzicka},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-6135-4},
}