Instituto Universitario de Estadística y Ciencia de Datos
Zentrum/Institut
![Foto de Instituto Universitario de Estadística y Ciencia de Datos](/img/noimage.png)
![Foto de University of Malta](/img/noimage_org.png)
University of Malta
Imsida, MaltaPublikationen in Zusammenarbeit mit Forschern von 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)