Andreas Lochbihler
发表
M. Züst,
Andreas Lochbihler,
2014
.
Andreas Lochbihler,
A. Lochbihler,
2015
.
David A. Basin,
Andreas Lochbihler,
S. Reza Sefidgar,
2020,
Journal of Cryptology.
Ognjen Maric,
Andreas Lochbihler,
Andreas Lochbihler,
2020,
Arch. Formal Proofs.
Andreas Lochbihler,
Alexandra Maximova,
Andreas Lochbihler,
2014,
Arch. Formal Proofs.
Andreas Lochbihler,
Andreas Lochbihler,
2010,
Arch. Formal Proofs.
Johannes Hölzl,
Dmitriy Traytel,
Andreas Lochbihler,
2015,
Arch. Formal Proofs.
Andreas Lochbihler,
Andreas Lochbihler,
A. Lochbihler,
2010,
ESOP.
Bastian Katz,
Ignaz Rutter,
Dorothea Wagner,
2010,
SEA.
Gregor Snelting,
Andreas Lochbihler,
G. Snelting,
2007,
IEEE Working Conference on Source Code Analysis and Manipulation.