March 13, 2020
Towards a Shared Specification Repository
Authors
Philipp Körner, Michael Leuschel, Jannik Dunkelau
Venue
ABZ 2020
Bibtex
@InProceedings(specification-repository,
Author = {Philipp Körner and Michael Leuschel and Jannik Dunkelau},
Title = {{Towards a Shared Specification Repository}},
Booktitle = {Proceedings ABZ (International Conference on Rigorous State-Based Methods)},
Year = 2020,
Series = {Lecture Notes in Computer Science},
Volume = 12071,
Pages = {266--271},
Publisher = {Springer}
)
