Nils Bulling

Nils Bulling

TU Clausthal
在 in.tu-clausthal.de 的电子邮件经过验证
被引用次数：1089
Artificial Intelligence Formal Methods Logic and Verification Game Theory Multi-Agent Systems
Etienne Lozes

Etienne Lozes

Université Côte d'Azur
在 univ-cotedazur.fr 的电子邮件经过验证
被引用次数：975
logic and verification
Fredrik Nordvall Forsberg

Fredrik Nordvall Forsberg

University of Strathclyde
在 strath.ac.uk 的电子邮件经过验证
被引用次数：442
Type Theory Compositionality Logic and Verification
Peisen Yao

Peisen Yao

Zhejiang University
在 zju.edu.cn 的电子邮件经过验证
被引用次数：368
Programming Languages Software Engineering Logic and Verification Security