@inproceedings{ArmborstH23,
  author       = {Lukas Armborst and
                  Sophie Lathouwers and
                  Marieke Huisman},
  editor       = {Paula Herber and
                  Anton Wijs},
  title        = {Joining Forces! Reusing Contracts for Deductive Verifiers Through
                  Automatic Translation},
  booktitle    = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
                  November 13-15, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14300},
  pages        = {153--171},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-47705-8\_9},
  doi          = {10.1007/978-3-031-47705-8\_9}
}

{"_id":"X6vapx5qovQGj2saA","bibbaseid":"armborst-lathouwers-huisman-joiningforcesreusingcontractsfordeductiveverifiersthroughautomatictranslation-2023","author_short":["Armborst, L.","Lathouwers, S.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Lukas"],"propositions":[],"lastnames":["Armborst"],"suffixes":[]},{"firstnames":["Sophie"],"propositions":[],"lastnames":["Lathouwers"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"editor":[{"firstnames":["Paula"],"propositions":[],"lastnames":["Herber"],"suffixes":[]},{"firstnames":["Anton"],"propositions":[],"lastnames":["Wijs"],"suffixes":[]}],"title":"Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation","booktitle":"iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings","series":"Lecture Notes in Computer Science","volume":"14300","pages":"153–171","publisher":"Springer","year":"2023","url":"https://doi.org/10.1007/978-3-031-47705-8\\_9","doi":"10.1007/978-3-031-47705-8_9","bibtex":"@inproceedings{ArmborstH23,\n author = {Lukas Armborst and\n Sophie Lathouwers and\n Marieke Huisman},\n editor = {Paula Herber and\n Anton Wijs},\n title = {Joining Forces! Reusing Contracts for Deductive Verifiers Through\n Automatic Translation},\n booktitle = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,\n November 13-15, 2023, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {14300},\n pages = {153--171},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-47705-8\\_9},\n doi = {10.1007/978-3-031-47705-8\\_9}\n}\n\n","author_short":["Armborst, L.","Lathouwers, S.","Huisman, M."],"editor_short":["Herber, P.","Wijs, A."],"key":"ArmborstH23","id":"ArmborstH23","bibbaseid":"armborst-lathouwers-huisman-joiningforcesreusingcontractsfordeductiveverifiersthroughautomatictranslation-2023","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-47705-8\\_9"},"metadata":{"authorlinks":{}},"downloads":2,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["cCvCnPTRQYq3qPe9y"],"keywords":[],"search_terms":["joining","forces","reusing","contracts","deductive","verifiers","through","automatic","translation","armborst","lathouwers","huisman"],"title":"Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation","year":2023,"downloads":2}