Verified Software Theories, Tools, Experiments /

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