Capítulo de livro
Revisado por pares
Proving correctness of implementation techniques
1971; Springer Nature; Linguagem: Inglês
10.1007/bfb0059698
ISSN1617-9692
Autores Tópico(s)Evaluation and Performance Assessment
Referência(s)