%0 Conference Paper %1 conf/samos/JahicDG22 %A Jahic, Jasmin %A Doganci, Volkan %A Gehring, Hubert %B SAMOS %D 2022 %E Orailoglu, Alex %E Reichenbach, Marc %E Jung, Matthias %I Springer %K dblp %P 139-154 %T CASA: An Approach for Exposing and Documenting Concurrency-Related Software Properties. %U http://dblp.uni-trier.de/db/conf/samos/samos2022.html#JahicDG22 %V 13511 %@ 978-3-031-15074-6

@inproceedings{conf/samos/JahicDG22, added-at = {2022-08-25T00:00:00.000+0200}, author = {Jahic, Jasmin and Doganci, Volkan and Gehring, Hubert}, biburl = {https://www.bibsonomy.org/bibtex/2ad5374b456415f8cf62057fdbce7a124/dblp}, booktitle = {SAMOS}, crossref = {conf/samos/2022}, editor = {Orailoglu, Alex and Reichenbach, Marc and Jung, Matthias}, ee = {https://doi.org/10.1007/978-3-031-15074-6_9}, interhash = {3232101c4b00a031f4cdb3bab4e86308}, intrahash = {ad5374b456415f8cf62057fdbce7a124}, isbn = {978-3-031-15074-6}, keywords = {dblp}, pages = {139-154}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:03:45.000+0200}, title = {CASA: An Approach for Exposing and Documenting Concurrency-Related Software Properties.}, url = {http://dblp.uni-trier.de/db/conf/samos/samos2022.html#JahicDG22}, volume = 13511, year = 2022 }