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 2021
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8259768/
https://www.ncbi.nlm.nih.gov/pubmed/34248285
http://dx.doi.org/10.1007/s10703-021-00380-6