%0 Conference Paper %1 conf/samos/GesperSWV23 %A Gesper, Sven %A Stuckmann, Fabian %A Wöbbekind, Lucy %A Vayá, Guillermo Payá %B SAMOS %D 2023 %E Silvano, Cristina %E Pilato, Christian %E Reichenbach, Marc %I Springer %K dblp %P 225-240 %T PATARA: Extension of a Verification Framework for RISC-V Instruction Set Implementations. %U http://dblp.uni-trier.de/db/conf/samos/samos2023.html#GesperSWV23 %V 14385 %@ 978-3-031-46077-7

@inproceedings{conf/samos/GesperSWV23, added-at = {2023-12-10T00:00:00.000+0100}, author = {Gesper, Sven and Stuckmann, Fabian and Wöbbekind, Lucy and Vayá, Guillermo Payá}, biburl = {https://www.bibsonomy.org/bibtex/279b05ff5765b13b2b396d766452ba226/dblp}, booktitle = {SAMOS}, crossref = {conf/samos/2023}, editor = {Silvano, Cristina and Pilato, Christian and Reichenbach, Marc}, ee = {https://doi.org/10.1007/978-3-031-46077-7_15}, interhash = {9e1c5e0b8858bcae65b1e4c0536acc1a}, intrahash = {79b05ff5765b13b2b396d766452ba226}, isbn = {978-3-031-46077-7}, keywords = {dblp}, pages = {225-240}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:03:39.000+0200}, title = {PATARA: Extension of a Verification Framework for RISC-V Instruction Set Implementations.}, url = {http://dblp.uni-trier.de/db/conf/samos/samos2023.html#GesperSWV23}, volume = 14385, year = 2023 }