%0 Conference Paper %1 conf/vmcai/Ernst22 %A Ernst, Gidon %B VMCAI %D 2022 %E Finkbeiner, Bernd %E Wies, Thomas %I Springer %K dblp %P 69-92 %T Loop Verification with Invariants and Contracts. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2022.html#Ernst22 %V 13182 %@ 978-3-030-94583-1

@inproceedings{conf/vmcai/Ernst22, added-at = {2024-05-07T00:00:00.000+0200}, author = {Ernst, Gidon}, biburl = {https://www.bibsonomy.org/bibtex/2b731f0e59ce9df81539181f92f08f944/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2022}, editor = {Finkbeiner, Bernd and Wies, Thomas}, ee = {https://doi.org/10.1007/978-3-030-94583-1_4}, interhash = {a70fcb61e8e7a0a6505454c9400f1d74}, intrahash = {b731f0e59ce9df81539181f92f08f944}, isbn = {978-3-030-94583-1}, keywords = {dblp}, pages = {69-92}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:06:53.000+0200}, title = {Loop Verification with Invariants and Contracts.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2022.html#Ernst22}, volume = 13182, year = 2022 }