%0 Conference Paper %1 conf/ictac/PardoJSW22 %A Pardo, Raúl %A Johnsen, Einar Broch %A Schaefer, Ina %A Wasowski, Andrzej %B ICTAC %D 2022 %E Seidl, Helmut %E Liu, Zhiming %E Pasareanu, Corina S. %I Springer %K dblp %P 369-387 %T A Specification Logic for Programs in the Probabilistic Guarded Command Language. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2022.html#PardoJSW22 %V 13572 %@ 978-3-031-17715-6

@inproceedings{conf/ictac/PardoJSW22, added-at = {2024-02-05T00:00:00.000+0100}, author = {Pardo, Raúl and Johnsen, Einar Broch and Schaefer, Ina and Wasowski, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/280388139022aa6fbbedefb6a5aa4f123/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2022}, editor = {Seidl, Helmut and Liu, Zhiming and Pasareanu, Corina S.}, ee = {https://doi.org/10.1007/978-3-031-17715-6_24}, interhash = {0c40f6ab78ec70479fe217fe807baa50}, intrahash = {80388139022aa6fbbedefb6a5aa4f123}, isbn = {978-3-031-17715-6}, keywords = {dblp}, pages = {369-387}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:34:06.000+0200}, title = {A Specification Logic for Programs in the Probabilistic Guarded Command Language.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2022.html#PardoJSW22}, volume = 13572, year = 2022 }