Liana Hadarean. One-click formal methods. In 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020. pages 1, IEEE, 2020. [doi]
@inproceedings{Hadarean20,
title = {One-click formal methods},
author = {Liana Hadarean},
year = {2020},
doi = {10.1109/ICST46399.2020.00009},
url = {https://doi.org/10.1109/ICST46399.2020.00009},
researchr = {https://researchr.org/publication/Hadarean20},
cites = {0},
citedby = {0},
pages = {1},
booktitle = {13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020},
publisher = {IEEE},
isbn = {978-1-7281-5778-8},
}