M.: Verified, executable parsing (2009)

by Aditi Barthwal , Michael Norrish
Venue:In: European Symposium on Programming (ESOP
Citations:5 - 0 self