Template-based construction of verified software

David Hemer, Peter A. Lindsay. Template-based construction of verified software. IEE Proceedings - Software, 152(1):2-12, 2005. [doi]

Abstract

Abstract is missing.