Verification-oriented language Clight and its structural operational semantics (2003)

by V Nepomniaschy, I Anureev, A Promsky
Venue:In Ershov Memorial Conference