Cargando…

Formal methods: practical applications and foundations: Editorial

Detalles Bibliográficos
Autores principales: ter Beek, Maurice H., McIver, Annabelle
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer US 2022
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8788392/
https://www.ncbi.nlm.nih.gov/pubmed/35095202
http://dx.doi.org/10.1007/s10703-022-00388-6