Simon Wimmer
发表
Simon Wimmer,
2018,
Arch. Formal Proofs.
Jaco van de Pol,
Simon Wimmer,
Fr'ed'eric Herbreteau,
2020,
FORMATS.
Peter Lammich,
Simon Wimmer,
2017,
Arch. Formal Proofs.
Tobias Nipkow,
Simon Wimmer,
Shuwei Hu,
2018,
Arch. Formal Proofs.
Simon Wimmer,
Joshua von Mutius,
2020,
TACAS.
Tobias Nipkow,
Simon Wimmer,
Shuwei Hu,
2018,
ITP.
Peter Lammich,
Simon Wimmer,
P. Lammich,
2018,
TACAS.
Johannes Hölzl,
Simon Wimmer,
J. Hölzl,
2018,
ITP.
Peter Lammich,
Simon Wimmer,
2019,
Arch. Formal Proofs.
Simon Wimmer,
Lars Noschinski,
2013,
Arch. Formal Proofs.
Simon Wimmer,
Simon Wimmer,
2016,
Arch. Formal Proofs.
Maximilian P. L. Haslbeck,
Simon Wimmer,
Simon Wimmer,
2019,
LuxLogAI.
Peter Lammich,
Simon Wimmer,
2018,
Arch. Formal Proofs.
Simon Wimmer,
Simon Wimmer,
2016,
ITP.
Johannes Hölzl,
Simon Wimmer,
2018,
Arch. Formal Proofs.
Simon Wimmer,
2019,
FORMATS.
Simon Wimmer,
Lars Noschinski,
2013,
Arch. Formal Proofs.