%0 Conference Paper %1 conf/isola/AmilonLG22 %A Amilon, Jesper %A Lidström, Christian %A Gurov, Dilian %B ISoLA (1) %D 2022 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 7-28 %T Deductive Verification Based Abstraction for Software Model Checking. %U http://dblp.uni-trier.de/db/conf/isola/isola2022-1.html#AmilonLG22 %V 13701 %@ 978-3-031-19849-6

@inproceedings{conf/isola/AmilonLG22, added-at = {2022-10-21T00:00:00.000+0200}, author = {Amilon, Jesper and Lidström, Christian and Gurov, Dilian}, biburl = {https://www.bibsonomy.org/bibtex/2bb0d47885376674b405f4cee406baadc/dblp}, booktitle = {ISoLA (1)}, crossref = {conf/isola/2022-1}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-031-19849-6_2}, interhash = {068428dad15794bd430f6796e0e989f7}, intrahash = {bb0d47885376674b405f4cee406baadc}, isbn = {978-3-031-19849-6}, keywords = {dblp}, pages = {7-28}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:11:52.000+0200}, title = {Deductive Verification Based Abstraction for Software Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2022-1.html#AmilonLG22}, volume = 13701, year = 2022 }