%0 Conference Paper %1 conf/fase/BernierZKL24 %A Bernier, Téo %A Ziani, Yani %A Kosmatov, Nikolai %A Loulergue, Frédéric %B FASE %D 2024 %E Beyer, Dirk %E Cavalcanti, Ana %I Springer %K dblp %P 280-289 %T Combining Deductive Verification with Shape Analysis. %U http://dblp.uni-trier.de/db/conf/fase/fase2024.html#BernierZKL24 %V 14573 %@ 978-3-031-57259-3

@inproceedings{conf/fase/BernierZKL24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Bernier, Téo and Ziani, Yani and Kosmatov, Nikolai and Loulergue, Frédéric}, biburl = {https://www.bibsonomy.org/bibtex/273a75bffb125f964153222dde4083a32/dblp}, booktitle = {FASE}, crossref = {conf/fase/2024}, editor = {Beyer, Dirk and Cavalcanti, Ana}, ee = {https://doi.org/10.1007/978-3-031-57259-3_14}, interhash = {df453995f4ec0b7ceadfc8aee2975d6c}, intrahash = {73a75bffb125f964153222dde4083a32}, isbn = {978-3-031-57259-3}, keywords = {dblp}, pages = {280-289}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:04:45.000+0200}, title = {Combining Deductive Verification with Shape Analysis.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2024.html#BernierZKL24}, volume = 14573, year = 2024 }