%0 Conference Paper %1 conf/vstte/MarmanisV22 %A Marmanis, Iason %A Vafeiadis, Viktor %B VSTTE %D 2022 %E Lal, Akash %E Tonetta, Stefano %I Springer %K dblp %P 92-110 %T SMT-Based Verification of Persistency Invariants of Px86 Programs. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2022.html#MarmanisV22 %V 13800 %@ 978-3-031-25803-9

@inproceedings{conf/vstte/MarmanisV22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Marmanis, Iason and Vafeiadis, Viktor}, biburl = {https://www.bibsonomy.org/bibtex/2707602cdee229c5c39d3e61331c7374f/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2022}, editor = {Lal, Akash and Tonetta, Stefano}, ee = {https://doi.org/10.1007/978-3-031-25803-9_6}, interhash = {23109ac46eb83e85b342c27968cd5579}, intrahash = {707602cdee229c5c39d3e61331c7374f}, isbn = {978-3-031-25803-9}, keywords = {dblp}, pages = {92-110}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:58:28.000+0200}, title = {SMT-Based Verification of Persistency Invariants of Px86 Programs.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2022.html#MarmanisV22}, volume = 13800, year = 2022 }