%0 Conference Paper %1 conf/padl/SilvaBF23 %A Silva, Ana Carolina %A Barbosa, Manuel %A Florido, Mário %B PADL %D 2023 %E Hanus, Michael %E Inclezan, Daniela %I Springer %K dblp %P 56-72 %T Execution Time Program Verification with Tight Bounds. %U http://dblp.uni-trier.de/db/conf/padl/padl2023.html#SilvaBF23 %V 13880 %@ 978-3-031-24841-2

@inproceedings{conf/padl/SilvaBF23, added-at = {2023-09-30T00:00:00.000+0200}, author = {Silva, Ana Carolina and Barbosa, Manuel and Florido, Mário}, biburl = {https://www.bibsonomy.org/bibtex/2ee710df38975e15bd67310e513a8e225/dblp}, booktitle = {PADL}, crossref = {conf/padl/2023}, editor = {Hanus, Michael and Inclezan, Daniela}, ee = {https://doi.org/10.1007/978-3-031-24841-2_4}, interhash = {3e92e6627f8f997b88b0df2047a51c55}, intrahash = {ee710df38975e15bd67310e513a8e225}, isbn = {978-3-031-24841-2}, keywords = {dblp}, pages = {56-72}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:37:50.000+0200}, title = {Execution Time Program Verification with Tight Bounds.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2023.html#SilvaBF23}, volume = 13880, year = 2023 }