Voltar
Capítulo de livro Acesso aberto Revisado por pares
BIBTEX RIS

Verifying a Compiler for Java Threads

2010; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-11957-6_23

ISSN

1611-3349

Autores

Andreas Lochbihler,

Tópico(s)

Formal Methods in Verification

Referência(s)