%0 Conference Paper %1 conf/fase/OorschotHS24 %A van Oorschot, Dré %A Huisman, Marieke %A Sakar, Ömer %B FASE %D 2024 %E Beyer, Dirk %E Cavalcanti, Ana %I Springer %K dblp %P 290-303 %T First Steps towards Deductive Verification of LLVM IR. %U http://dblp.uni-trier.de/db/conf/fase/fase2024.html#OorschotHS24 %V 14573 %@ 978-3-031-57259-3

@inproceedings{conf/fase/OorschotHS24, added-at = {2024-04-14T00:00:00.000+0200}, author = {van Oorschot, Dré and Huisman, Marieke and Sakar, Ömer}, biburl = {https://www.bibsonomy.org/bibtex/269fe447ba9dc2cfa4e1e0b421394fed8/dblp}, booktitle = {FASE}, crossref = {conf/fase/2024}, editor = {Beyer, Dirk and Cavalcanti, Ana}, ee = {https://doi.org/10.1007/978-3-031-57259-3_15}, interhash = {be472a1258676122c9d4e43d0b9eb506}, intrahash = {69fe447ba9dc2cfa4e1e0b421394fed8}, isbn = {978-3-031-57259-3}, keywords = {dblp}, pages = {290-303}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:04:45.000+0200}, title = {First Steps towards Deductive Verification of LLVM IR.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2024.html#OorschotHS24}, volume = 14573, year = 2024 }