Formal Software Engineering: Formal modeling; Correct-by-construction Software, refinement; Property verification; Model-checking & Theorem-proving.
Продолжая просматривать этот сайт, Вы соглашаетесь с нашими политиками:
x