Design and Testing of Reliable Systems
![Foto de Design and Testing of Reliable Systems](/img/grupo.png)
![Foto de University of Malta](/img/noimage_org.png)
University of Malta
Imsida, MaltaPublicaciones en colaboración con investigadores/as de University of Malta (1)
2020
-
Runtime Verification of Contracts with Themulus
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)