Alwen Tiu

Alwen Tiu

School of Computing, The Australian National University
Bestätigte E-Mail-Adresse bei anu.edu.au
Zitiert von: 2825
Logic proof theory process calculus theorem proving computer security
Qin Ma

Qin Ma

University of Luxembourg
Bestätigte E-Mail-Adresse bei uni.lu
Zitiert von: 552
Conceptual Modelling Model-Driven Software Engineering Regulatory Compliance Process Calculus Formal Semantics
Adele Veschetti

Adele Veschetti

Postdoc, TU Darmstadt
Bestätigte E-Mail-Adresse bei tu-darmstadt.de
Zitiert von: 72
formal methods blockchain process calculus