%0 Conference Paper %1 conf/icse/NijjarBB13 %A Nijjar, Jaideep %A Bocic, Ivan %A Bultan, Tevfik %B FormaliSE@ICSE %D 2013 %I IEEE Computer Society %K dblp %P 29-35 %T An integrated data model verifier with property templates. %U http://dblp.uni-trier.de/db/conf/icse/formalise2013.html#NijjarBB13 %@ 978-1-4673-6292-4

@inproceedings{conf/icse/NijjarBB13, added-at = {2023-03-23T00:00:00.000+0100}, author = {Nijjar, Jaideep and Bocic, Ivan and Bultan, Tevfik}, biburl = {https://www.bibsonomy.org/bibtex/266ad12c6368e5b908aead9c7f5ee9ecf/dblp}, booktitle = {FormaliSE@ICSE}, crossref = {conf/icse/2013formalise}, ee = {https://doi.ieeecomputersociety.org/10.1109/FormaliSE.2013.6612274}, interhash = {f2d1184b3cf5674bcb8dbabed0519dd2}, intrahash = {66ad12c6368e5b908aead9c7f5ee9ecf}, isbn = {978-1-4673-6292-4}, keywords = {dblp}, pages = {29-35}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T03:01:38.000+0200}, title = {An integrated data model verifier with property templates.}, url = {http://dblp.uni-trier.de/db/conf/icse/formalise2013.html#NijjarBB13}, year = 2013 }