FormaliSE 2016 : proceedings, 4th FME Workshop on Formal Methods in Software Engineering : 15 May 2016, Austin, Texas, USA

FormaliSE 2016 proceedings, 4th FME Workshop on Formal Methods in Software Engineering : 15 May 2016, Austin, Texas, USA

Detalles Bibliográficos
Autores Corporativos: FME Workshop on Formal Methods in Software Engineering (-), Association for Computing Machinery, sponsoring body (sponsoring body)
Formato: Libro electrónico
Idioma:Inglés
Publicado: New York : ACM 2016.
Colección:ACM Conferences
Materias:
Formal methods (Computer science) > Congresses.
Software engineering > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713839606719

Ejemplares similares

Ejemplares similares