Programming assistance based on contracts and modular verification in the automation domain.

Dominik Hurnaus, Herbert Prhofer

Browse the full SAC paper archive.