Simon Bliudze

Simon Bliudze

Computer Science researcher, University of Lille Inria Research Centre
在 inria.fr 的电子邮件经过验证
被引用次数：1369
correctness by construction component-based design formal semantics formal methods
Tobias Runge

Tobias Runge

Karlsruher Institut of Technologie
在 kit.edu 的电子邮件经过验证
被引用次数：398
Formal Methods Correctness-by-Construction