Formal Software Engineering: Formal modeling; Correct-by-construction Software, refinement; Property verification; Model-checking & Theorem-proving.
Wenn Sie weiter auf dieser Webseite arbeiten möchten, bestätigen Sie bitte unsere Nutzungsrichtlinie:
x