Informática
Fakultatea
University of Malta
Imsida, MaltaUniversity of Malta-ko ikertzaileekin lankidetzan egindako argitalpenak (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)