Proceedings paper

Title:
A Collaborative Approach to Property-Directed k-induction
Authors:
M. Blicha, A. Hyvärinen, M. Marescotti, N. Sharygina
Publication:
Proceedings of VMCAI 2020
Year:
2020

BibTeX:
@inproceedings{blicha_collaborative_2020,
    title = {{A Collaborative Approach to Property-Directed k-induction}},
    author = {Blicha, Martin and Hyvärinen, Antti E. J. and Marescotti, Matteo and Sharygina, Natasha},
    year = {2020},
    booktitle = {{Proceedings of VMCAI 2020}},
    location = {New Orleans, Louisiana, United States},
}