Embedding Formal Methods into Systems Engineering.

Helmut Veith

Browse the full SYNASC paper archive.