Up a level |
Number of items: 2.
Conchon, S, Delzanno, G and Ferrando, A ORCID: 0000-0002-8711-4670
(2019)
Declarative parameterized verification of topology-sensitive distributed protocols.
.
Ferrando, A ORCID: 0000-0002-8711-4670 and Delzanno, G ORCID: 0000-0001-7030-1050
(2021)
Incrementally Predictive Runtime Verification.
.