Tool Support for Engineering Certifiable Software

László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza. Tool Support for Engineering Certifiable Software. Electronic Notes in Theoretical Computer Science, 238(4):79-85, 2009. [doi]

Abstract

Abstract is missing.