Bettina Buth
发表
Bettina Buth,
1999
.
Bettina Buth,
Gerd Rabe,
Till Seyfarth,
2009
.
Bettina Buth,
1997,
AMAST.
Thomas Lehmann,
Bettina Buth,
2016,
Software Engineering.
Bettina Buth,
Torge Hinrichs,
2019,
SAFECOMP Workshops.
Bettina Buth,
Gerd Rabe,
Till Seyfarth,
2009,
SAFECOMP.
Thomas Lehmann,
Bettina Buth,
2015,
SEUH.
Bettina Buth,
1995
.
Bettina Buth,
B. Buth,
1998,
Tool Support for System Specification, Development and Verification.
Bettina Buth,
Karl-Heinz Buth,
1988,
VDM Europe.
Bettina Buth,
Torge Hinrichs,
B. Buth,
2019,
WorldCIST.
Bettina Buth,
2001,
BISS monographs.
Bettina Buth,
Jan Peleska,
1999,
Correct System Design.
Bettina Buth,
2004,
SAFECOMP.
Bettina Buth,
Rudolf Berghammer,
Karl-Heinz Buth,
1995,
SEUH.
Bettina Buth,
Jan Peleska,
Hui Shi,
1999,
AMAST.
Bettina Buth,
Jan Peleska,
Hui Shi,
1997,
AMAST.
Martin Fränzle,
Bettina Buth,
Markus Müller-Olm,
1992,
CC.
Bettina Buth,
2017,
Provably Correct Systems.
Bettina Buth,
Jonas Fuhrmann,
Tim Tiedemann,
2019,
ICINCO.
Bettina Buth,
Karl-Heinz Buth,
B. Buth,
1991,
Code Generation.
Thomas C. Schmidt,
Bettina Buth,
Franz Korf,
2014,
RTNS '14.
Bettina Buth,
Mike Schrönen,
1999,
World Congress on Formal Methods.
Rachel Cardell-Oliver,
Bettina Buth,
Jan Peleska,
1996
.
Bettina Buth,
1997
.