Zobrazit v EDS

Theorem-proving support in programming language semantics.

Uloženo v:
Podrobná bibliografie
Název: Theorem-proving support in programming language semantics.
Zdroj: From Semantics to Computer Science; 2009, p337-362, 26p
Databáze: Complementary Index
Popis
ISBN:9780521518253
DOI:10.1017/CBO9780511770524.016