AFM '07 : second Workshop on Automated Formal Methods : November 6, 2007, Atlanta, Georgia

AFM '07 : second Workshop on Automated Formal Methods : November 6, 2007, Atlanta, Georgia

Detalles Bibliográficos
Autores Corporativos: International Conference on Automated Software Engineering 2007 (-), Association for Computing Machinery-Digital Library
Otros Autores: Rushby, John Contributor (contributor), Shankar, N Contributor
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] ACM 2007
Colección:ACM Conferences
Materias:
Engineering & Applied Sciences
Computer Science
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714331506719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (80 pages)

Ejemplares similares