Verified Software Theories, Tools, Experiments /

Na minha lista:
Detalhes bibliográficos
Principais autores: Meyer, Bertrand, Woodcock, Jim, SpringerLink (Online service), Conference, VSTTE 2005
Formato: Digital
Publicado em:
Assuntos:
Endereço do item:http://dx.doi.org/10.1007/978-3-540-69149-5
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!