%0 Conference Paper %1 conf/sefm/BordisKRS22 %A Bordis, Tabea %A Kodetzki, Maximilian %A Runge, Tobias %A Schaefer, Ina %B SEFM Workshops %D 2022 %E Masci, Paolo %E Bernardeschi, Cinzia %E Graziani, Pierluigi %E Koddenbrock, Mario %E Palmieri, Maurizio %I Springer %K dblp %P 156-163 %T VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2022w.html#BordisKRS22 %V 13765 %@ 978-3-031-26236-4

@inproceedings{conf/sefm/BordisKRS22, added-at = {2024-03-22T00:00:00.000+0100}, author = {Bordis, Tabea and Kodetzki, Maximilian and Runge, Tobias and Schaefer, Ina}, biburl = {https://www.bibsonomy.org/bibtex/222fc373379cafb07371b764d775416eb/dblp}, booktitle = {SEFM Workshops}, crossref = {conf/sefm/2022w}, editor = {Masci, Paolo and Bernardeschi, Cinzia and Graziani, Pierluigi and Koddenbrock, Mario and Palmieri, Maurizio}, ee = {https://doi.org/10.1007/978-3-031-26236-4_13}, interhash = {d5ad3d988dae366c37c3c9153157a794}, intrahash = {22fc373379cafb07371b764d775416eb}, isbn = {978-3-031-26236-4}, keywords = {dblp}, pages = {156-163}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:00.000+0200}, title = {VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2022w.html#BordisKRS22}, volume = 13765, year = 2022 }