Diseño y análisis formal de sistemas de software
FADOSS
East China University of Science and Technology
Shangai, ChinaPublications en collaboration avec des chercheurs de East China University of Science and Technology (1)
2022
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)