%0 Conference Paper %1 conf/forte/RungePTS22 %A Runge, Tobias %A Potanin, Alex %A Thüm, Thomas %A Schaefer, Ina %B FORTE %D 2022 %E Mousavi, Mohammad Reza %E Philippou, Anna %I Springer %K dblp %P 131-150 %T Traits: Correctness-by-Construction for Free. %U http://dblp.uni-trier.de/db/conf/forte/forte2022.html#RungePTS22 %V 13273 %@ 978-3-031-08679-3

@inproceedings{conf/forte/RungePTS22, added-at = {2022-06-15T00:00:00.000+0200}, author = {Runge, Tobias and Potanin, Alex and Thüm, Thomas and Schaefer, Ina}, biburl = {https://www.bibsonomy.org/bibtex/2bc82c9e52d3b71b9ff06356c354b0bf3/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2022}, editor = {Mousavi, Mohammad Reza and Philippou, Anna}, ee = {https://doi.org/10.1007/978-3-031-08679-3_9}, interhash = {063a9999b726527cc67ee0701d11395d}, intrahash = {bc82c9e52d3b71b9ff06356c354b0bf3}, isbn = {978-3-031-08679-3}, keywords = {dblp}, pages = {131-150}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:43:12.000+0200}, title = {Traits: Correctness-by-Construction for Free.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2022.html#RungePTS22}, volume = 13273, year = 2022 }