Formal Software Engineering: Formal modeling; Correct-by-construction Software, refinement; Property verification; Model-checking & Theorem-proving.
Si vous continuez à consulter ce site web, vous acceptez nos politiques :
x