Diseño y análisis formal de sistemas de software
FADOSS
East China University of Science and Technology
Shangai, ChinaEast China University of Science and Technology-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2022
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)