Formal Software Engineering: Formal modeling; Correct-by-construction Software, refinement; Property verification; Model-checking & Theorem-proving.
If you continue browsing this website, you agree to our policies:
x