Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops Dublin Core Títol Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops Autor José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck Matèria Computer Science & Information Technology Editor Springer Nature Data de publicació 2026 Identificador 9783031947483 Font https://doi.org/10.1007/978-3-031-94748-3 Etiquetes Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →