Correctness proofs of APALI programs
de Jan F. Prins · Publicada por primera vez en 1986
Ediciones (1)
- Correctness proofs of APALI programs (1986)
Cornell Theory Center, Cornell University · inglés
de Jan F. Prins · Publicada por primera vez en 1986
Cornell Theory Center, Cornell University · inglés