Formal Software Engineering: Formal modeling; Correct-by-construction Software, refinement; Property verification; Model-checking & Theorem-proving.
このウェブサイトを続けて閲覧したい場合、あなたは私たちのポリシーに同意する必要があります:
x