Idioma:

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Steffen, Bernhard ; Levi, Giorgio Levi, Giorgio ; Steffen, Bernhard

Texto completo disponível

Citações Citado por

Título:
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings
Autor: Steffen, Bernhard ; Levi, Giorgio
Levi, Giorgio ; Steffen, Bernhard
Assuntos: Computer Science ; Computer Science, general ; Logic design ; Logics and Meanings of Programs ; Programming Languages, Compilers, Interpreters ; Software Engineering
Títulos relacionados: Lecture Notes in Computer Science
Editor: Berlin, Heidelberg: Springer Berlin Heidelberg
Data de criação/publicação: 2004
Formato: XI, 325
Idioma: Inglês

Voltar para lista de resultados

Resultado 1