Friedrich Gretz
发表
Benjamin Lucien Kaminski,
J. Katoen,
N. Jansen,
2015
.
Annabelle McIver,
Joost-Pieter Katoen,
Friedrich Gretz,
2013,
QEST.
Synchronized Shared Memory and Black-box Procedural Abstraction: Towards a Formal Semantics of Blech
Michael Mendler,
Friedrich Gretz,
Stephan Scheele,
2022,
ACM Transactions on Embedded Computing Systems.
Annabelle McIver,
Nils Jansen,
Joost-Pieter Katoen,
2015,
MFPS.
Annabelle McIver,
Joost-Pieter Katoen,
Friedrich Gretz,
2014,
Perform. Evaluation.
F. Gretz,
F-J. Grosch,
M. Mendler,
2020,
2020 Forum for Specification and Design Languages (FDL).
Annabelle McIver,
Nils Jansen,
Joost-Pieter Katoen,
2015,
MFPS.
Nils Jansen,
Joost-Pieter Katoen,
Federico Olmedo,
2015,
Correct System Design.