Formal Software Engineering: Formal modeling; Correct-by-construction Software, refinement; Property verification; Model-checking & Theorem-proving.
Para continuar usando este sitio web, debe aceptar nuestras políticas:
x