%0 Conference Paper %1 conf/tacas/JonasKNSTZAS24 %A Jonás, Martin %A Kumor, Kristián %A Novák, Jakub %A Sedlácek, Jindrich %A Trtík, Marek %A Zaoral, Lukás %A Ayaziová, Paulína %A Strejcek, Jan %B TACAS (3) %D 2024 %E Finkbeiner, Bernd %E Kovács, Laura %I Springer %K dblp %P 406-411 %T Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2024-3.html#JonasKNSTZAS24 %V 14572 %@ 978-3-031-57256-2

@inproceedings{conf/tacas/JonasKNSTZAS24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Jonás, Martin and Kumor, Kristián and Novák, Jakub and Sedlácek, Jindrich and Trtík, Marek and Zaoral, Lukás and Ayaziová, Paulína and Strejcek, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2c13799d41d67c8948aa6bfa22c3a67dd/dblp}, booktitle = {TACAS (3)}, crossref = {conf/tacas/2024-3}, editor = {Finkbeiner, Bernd and Kovács, Laura}, ee = {https://doi.org/10.1007/978-3-031-57256-2_29}, interhash = {5e9f32e470c1603db9c3559cb0d4d6e7}, intrahash = {c13799d41d67c8948aa6bfa22c3a67dd}, isbn = {978-3-031-57256-2}, keywords = {dblp}, pages = {406-411}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:04:37.000+0200}, title = {Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2024-3.html#JonasKNSTZAS24}, volume = 14572, year = 2024 }