Zoltán Porkoláb

• Composability, Comprehensibility and Correctness of Working Software