An abstract dynamic semantics for C (1997)

by Michael Norrish
Venue:Computer Laboratory, University of Cambridge
Citations:15 - 1 self