Diseño y análisis formal de sistemas de software
FADOSS
Royal Melbourne Institute of Technology University
Melbourne, AustraliaPublicaciones en colaboración con investigadores/as 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)