%0 Conference Paper %1 conf/spin/BersaniMREG17 %A Bersani, Marcello M. %A Marconi, Francesco %A Rossi, Matteo %A Erascu, Madalina %A Ghilardi, Silvio %B SPIN %D 2017 %E Erdogmus, Hakan %E Havelund, Klaus %I ACM %K dblp %P 98-101 %T Formal verification of data-intensive applications through model checking modulo theories. %U http://dblp.uni-trier.de/db/conf/spin/spin2017.html#BersaniMREG17 %@ 978-1-4503-5077-8

@inproceedings{conf/spin/BersaniMREG17, added-at = {2023-04-17T00:00:00.000+0200}, author = {Bersani, Marcello M. and Marconi, Francesco and Rossi, Matteo and Erascu, Madalina and Ghilardi, Silvio}, biburl = {https://www.bibsonomy.org/bibtex/281566e8d87e90465619b1d6abddbd855/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2017}, editor = {Erdogmus, Hakan and Havelund, Klaus}, ee = {https://doi.org/10.1145/3092282.3092300}, interhash = {23c9d03673759b6b50e3219778f084fd}, intrahash = {81566e8d87e90465619b1d6abddbd855}, isbn = {978-1-4503-5077-8}, keywords = {dblp}, pages = {98-101}, publisher = {ACM}, timestamp = {2024-04-10T20:33:25.000+0200}, title = {Formal verification of data-intensive applications through model checking modulo theories.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2017.html#BersaniMREG17}, year = 2017 }