Georg Struth

Georg Struth

University of Sheffield
在 sheffield.ac.uk 的电子邮件经过验证
被引用次数：2640
Algebraic and Logical Methods in Computer … Concurrency Theory Interactive Theorem Proving Program Correctness
Patrice Chalin

Patrice Chalin

Dependable Software Research Group
被引用次数：1911
Software Engineering Web Applications Program Correctness
Vladimir Klebanov

Vladimir Klebanov

SAP SE (previously at Karlsruhe Institute of Technology)
在 sap.com 的电子邮件经过验证
被引用次数：1115
Information Security Program Correctness Formal Methods