Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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. .

This list was generated on Sat Feb 10 18:24:23 2024 GMT.