Enriching the Software Development Process by Formal Methods.

Manfred Broy, Oscar Slotosch

Browse the full FM paper archive.