Dependent types for low-level programming (2007)

by J Condit, M Harren, Z Anderson, D Gay, G C Necula
Venue:In European Symposium on Programming