Operational Semantics, Abstract Machines and Correctness, 2008. Lecture Notes for the Midlands Graduate (0)

by R L Crole
Venue:School in the Foundations of Computer Science, L ATEX format 91