%0 Conference Paper %1 conf/ifm/BoermanHJ18 %A Boerman, Jan %A Huisman, Marieke %A Joosten, Sebastiaan J. C. %B IFM %D 2018 %E Furia, Carlo A. %E Winter, Kirsten %I Springer %K dblp %P 30-46 %T Reasoning About JML: Differences Between KeY and OpenJML. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2018.html#BoermanHJ18 %V 11023 %@ 978-3-319-98938-9

@inproceedings{conf/ifm/BoermanHJ18, added-at = {2019-10-19T00:00:00.000+0200}, author = {Boerman, Jan and Huisman, Marieke and Joosten, Sebastiaan J. C.}, biburl = {https://www.bibsonomy.org/bibtex/2742a9af2b1a7aeb92cb9fe724c7ef2da/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2018}, editor = {Furia, Carlo A. and Winter, Kirsten}, ee = {https://doi.org/10.1007/978-3-319-98938-9_3}, interhash = {60565c36d4141391477af419d671417e}, intrahash = {742a9af2b1a7aeb92cb9fe724c7ef2da}, isbn = {978-3-319-98938-9}, keywords = {dblp}, pages = {30-46}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T16:30:02.000+0200}, title = {Reasoning About JML: Differences Between KeY and OpenJML.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2018.html#BoermanHJ18}, volume = 11023, year = 2018 }