%0 Conference Paper %1 conf/tacas/PrabhuDCVF24 %A Prabhu, Sumanth %A D'Souza, Deepak %A Chakraborty, Supratik %A Venkatesh, R. %A Fedyukovich, Grigory %B TACAS (2) %D 2024 %E Finkbeiner, Bernd %E Kovács, Laura %I Springer %K dblp %P 175-195 %T Weakest Precondition Inference for Non-Deterministic Linear Array Programs. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2024-2.html#PrabhuDCVF24 %V 14571 %@ 978-3-031-57249-4

@inproceedings{conf/tacas/PrabhuDCVF24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Prabhu, Sumanth and D'Souza, Deepak and Chakraborty, Supratik and Venkatesh, R. and Fedyukovich, Grigory}, biburl = {https://www.bibsonomy.org/bibtex/20eb1e91a1ab03339e28a0c9d2e00dddf/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2024-2}, editor = {Finkbeiner, Bernd and Kovács, Laura}, ee = {https://doi.org/10.1007/978-3-031-57249-4_9}, interhash = {d6bef12c545eef2a611705310f7c007f}, intrahash = {0eb1e91a1ab03339e28a0c9d2e00dddf}, isbn = {978-3-031-57249-4}, keywords = {dblp}, pages = {175-195}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:04:39.000+0200}, title = {Weakest Precondition Inference for Non-Deterministic Linear Array Programs.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2024-2.html#PrabhuDCVF24}, volume = 14571, year = 2024 }