%0 Conference Paper %1 conf/fossacs/Ahman23 %A Ahman, Danel %B FoSSaCS %D 2023 %E Kupferman, Orna %E Sobocinski, Pawel %I Springer %K dblp %P 1-23 %T When Programs Have to Watch Paint Dry. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2023.html#Ahman23 %V 13992 %@ 978-3-031-30829-1

@inproceedings{conf/fossacs/Ahman23, added-at = {2023-05-13T00:00:00.000+0200}, author = {Ahman, Danel}, biburl = {https://www.bibsonomy.org/bibtex/2e8cd3df3dd2e862ca14a98643cafcde9/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2023}, editor = {Kupferman, Orna and Sobocinski, Pawel}, ee = {https://doi.org/10.1007/978-3-031-30829-1_1}, interhash = {836c45e147ef96d41c32f2f333173320}, intrahash = {e8cd3df3dd2e862ca14a98643cafcde9}, isbn = {978-3-031-30829-1}, keywords = {dblp}, pages = {1-23}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:25:35.000+0200}, title = {When Programs Have to Watch Paint Dry.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2023.html#Ahman23}, volume = 13992, year = 2023 }