Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops Dublin Core Títol Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops Autor Loek Cleophas, Mieke Massink Matèria Computer Science Computer Science & Information Technology Editor Springer Nature Data de publicació 2021 Identificador 9783030672201 Font https://doi.org/10.1007/978-3-030-67220-1 Etiquetes Computer Science, Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →