A Formal Software Engineering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi.

Dines Bjrner

Browse the full SOFSEM paper archive.