View in EDS

Theorem-proving support in programming language semantics.

Saved in:
Bibliographic Details
Title: Theorem-proving support in programming language semantics.
Source: From Semantics to Computer Science; 2009, p337-362, 26p
Database: Complementary Index
Description
ISBN:9780521518253
DOI:10.1017/CBO9780511770524.016