Methodological Support for Formally Specifying Safety-Critical Software.

Maritta Heisel, Carsten Siihl

Browse the full SAFECOMP paper archive.