Cláudio Belo Lourenço, Jorge Sousa Pinto. Auto-active verification of distributed systems and specification refinements with Why3-do. Science of Computer Programming, 247:103352, 2026. [doi]
@article{LourencoP26,
title = {Auto-active verification of distributed systems and specification refinements with Why3-do},
author = {Cláudio Belo Lourenço and Jorge Sousa Pinto},
year = {2026},
doi = {10.1016/j.scico.2025.103352},
url = {https://doi.org/10.1016/j.scico.2025.103352},
researchr = {https://researchr.org/publication/LourencoP26},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {247},
pages = {103352},
}