Rigorous software engineering

Sabine Glesner. Rigorous software engineering. Inform., Forsch. Entwickl., 28(4):263-264, 2013. [doi]

Abstract

Abstract is missing.