%0 Journal Article %1 journals/fmsd/KornerBDKL21 %A Körner, Philipp %A Bendisposto, Jens %A Dunkelau, Jannik %A Krings, Sebastian %A Leuschel, Michael %D 2021 %J Formal Methods Syst. Des. %K dblp %N 1-2 %P 160-187 %T Integrating formal specifications into applications: the ProB Java API. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd58.html#KornerBDKL21 %V 58

@article{journals/fmsd/KornerBDKL21, added-at = {2022-06-03T00:00:00.000+0200}, author = {Körner, Philipp and Bendisposto, Jens and Dunkelau, Jannik and Krings, Sebastian and Leuschel, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2da19d8de099dfbd503e6d22958e0edf4/dblp}, ee = {https://doi.org/10.1007/s10703-020-00351-3}, interhash = {080585800677aba729c440494c86820d}, intrahash = {da19d8de099dfbd503e6d22958e0edf4}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = {1-2}, pages = {160-187}, timestamp = {2024-04-08T17:15:08.000+0200}, title = {Integrating formal specifications into applications: the ProB Java API.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd58.html#KornerBDKL21}, volume = 58, year = 2021 }