July 9, 2019
Embedding High-Level Formal Specifications into Applications
Authors
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Venue
FM 2019
Bibtex
@InProceedings(executable-specs,
Author = {Philipp Körner and Jens Bendisposto and Jannik Dunkelau and Sebastian Krings and Michael Leuschel},
Title = {{Embedding High-Level Formal Specifications into Applications}},
Booktitle = {Proceedings FM (International Symposium on Formal Methods)},
Year = 2019,
Series = {Lecture Notes in Computer Science},
Volume = 11800,
Pages = {519--535},
Publisher = {Springer}
)
