Die L- und Z-Form sind am beliebtesten. Und am unsichersten...

Verbundprojekt secUnity stellt Empfehlungen heute in Brüssel vor

Model Engineering: Correctness by Construction, Verification, and Mining