Diseño y análisis formal de sistemas de software
FADOSS
Royal Melbourne Institute of Technology University
Melbourne, AustraliaPublicacions en col·laboració amb investigadors/es de Royal Melbourne Institute of Technology University (1)
2019
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)