Verified Software Toolchain (2011)

by Andrew W Appel
Venue:In European Symposium on Programming