M.: Verified, executable parsing (0)

by A Barthwal, Norrish
Venue:In: European Symposium on Programming (ESOP). Lecture Notes in Computer Science