@inproceedings{DBLP:conf/forte/RungePTS22,
  author       = {Tobias Runge and
                  Alex Potanin and
                  Thomas Th{\"{u}}m and
                  Ina Schaefer},
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {Traits: Correctness-by-Construction for Free},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {131--150},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3\_9},
  doi          = {10.1007/978-3-031-08679-3\_9},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/RungePTS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"o5A6hDgsJ5L2gyBxb","bibbaseid":"runge-potanin-thm-schaefer-traitscorrectnessbyconstructionforfree-2022","author_short":["Runge, T.","Potanin, A.","Thüm, T.","Schaefer, I."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Tobias"],"propositions":[],"lastnames":["Runge"],"suffixes":[]},{"firstnames":["Alex"],"propositions":[],"lastnames":["Potanin"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Thüm"],"suffixes":[]},{"firstnames":["Ina"],"propositions":[],"lastnames":["Schaefer"],"suffixes":[]}],"editor":[{"firstnames":["Mohammad","Reza"],"propositions":[],"lastnames":["Mousavi"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Philippou"],"suffixes":[]}],"title":"Traits: Correctness-by-Construction for Free","booktitle":"Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings","series":"Lecture Notes in Computer Science","volume":"13273","pages":"131–150","publisher":"Springer","year":"2022","url":"https://doi.org/10.1007/978-3-031-08679-3\\_9","doi":"10.1007/978-3-031-08679-3_9","timestamp":"Sun, 06 Oct 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/forte/RungePTS22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/forte/RungePTS22,\n author = {Tobias Runge and\n Alex Potanin and\n Thomas Th{\\\"{u}}m and\n Ina Schaefer},\n editor = {Mohammad Reza Mousavi and\n Anna Philippou},\n title = {Traits: Correctness-by-Construction for Free},\n booktitle = {Formal Techniques for Distributed Objects, Components, and Systems\n - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held\n as Part of the 17th International Federated Conference on Distributed\n Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,\n Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {13273},\n pages = {131--150},\n publisher = {Springer},\n year = {2022},\n url = {https://doi.org/10.1007/978-3-031-08679-3\\_9},\n doi = {10.1007/978-3-031-08679-3\\_9},\n timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/forte/RungePTS22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Runge, T.","Potanin, A.","Thüm, T.","Schaefer, I."],"editor_short":["Mousavi, M. R.","Philippou, A."],"key":"DBLP:conf/forte/RungePTS22","id":"DBLP:conf/forte/RungePTS22","bibbaseid":"runge-potanin-thm-schaefer-traitscorrectnessbyconstructionforfree-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-08679-3\\_9"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/03/4484.bib","dataSources":["NvDEoQDuau7xD4K6P"],"keywords":[],"search_terms":["traits","correctness","construction","free","runge","potanin","thüm","schaefer"],"title":"Traits: Correctness-by-Construction for Free","year":2022}