Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
Danger Invariants
FM, 2016.
@inproceedings{FM-2016-DavidKKL,
author = "Cristina David and Pascal Kesseli and Daniel Kroening and Matt Lewis",
booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-48989-6_12",
isbn = "978-3-319-48988-9",
pages = "182--198",
title = "{Danger Invariants}",
year = 2016,
}