Capítulo de livro
Proof of Correctness of Data Representations
2002; Springer Nature; Linguagem: Inglês
10.1007/978-3-642-59412-0_24
Autores Tópico(s)Formal Methods in Verification
Referência(s)