Formal Methods and Software Engineering

Na minha lista:
Detalhes bibliográficos
Principais autores: Liu, Shaoying, Maibaum, Tom, Araki, Keijiro, SpringerLink (Online service), International Conference on Formal Engineering Methods, ICFEM 2008
Formato: Digital
Publicado em:
Assuntos:
Endereço do item:http://dx.doi.org/10.1007/978-3-540-88194-0
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!