August 13, 2020
Integrating formal specifications into applications: the ProB Java API
Authors
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Venue
FMSD
Bibtex
@Article(koerner2020integrating,
Author = {Philipp Körner and Jens Bendisposto and Jannik Dunkelau and Sebastian Krings and Michael Leuschel},
Title = {{Integrating formal specifications into applications: the ProB Java API}},
Journal = {Formal Methods in System Design},
Year = 2020,
Volume = 57,
Pages = {160--187}
)
