Diseño y análisis formal de sistemas de software
FADOSS
Royal Melbourne Institute of Technology University
Melbourne, AustraliaRoyal Melbourne Institute of Technology University-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2019
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)