Karl Palmskog

Karl Palmskog

KTH Royal Institute of Technology
在 kth.se 的电子邮件经过验证
被引用次数：643
Programming languages formal verification distributed systems proof engineering
Talia Ringer

Talia Ringer

Assistant Professor, University of Illinois at Urbana-Champaign
在 illinois.edu 的电子邮件经过验证
被引用次数：472
Proof Engineering Programming Languages Verification Proof Automation Dependent Types
Nicolas Magaud

Nicolas Magaud

Associate Professor, University of Strasbourg
在 unistra.fr 的电子邮件经过验证
被引用次数：408
proofs assistants formal proofs proof engineering Coq dependent type theory
Enzo Crance

Enzo Crance

Inria
在 inria.fr 的电子邮件经过验证
被引用次数：26
Proof engineering proof transfer formal proof automation