%0 Conference Paper %1 conf/fase/DaniaC15 %A Dania, Carolina %A Clavel, Manuel %B FASE %D 2015 %E Egyed, Alexander %E Schaefer, Ina %I Springer %K dblp %P 218-232 %T Model-Based Formal Reasoning about Data-Management Applications. %U http://dblp.uni-trier.de/db/conf/fase/fase2015.html#DaniaC15 %V 9033 %@ 978-3-662-46674-2

@inproceedings{conf/fase/DaniaC15, added-at = {2019-08-20T00:00:00.000+0200}, author = {Dania, Carolina and Clavel, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/203aba284f609a531cd01db1020e188ad/dblp}, booktitle = {FASE}, crossref = {conf/fase/2015}, editor = {Egyed, Alexander and Schaefer, Ina}, ee = {https://doi.org/10.1007/978-3-662-46675-9_15}, interhash = {762346e2668dda26c2171a5df481cdb1}, intrahash = {03aba284f609a531cd01db1020e188ad}, isbn = {978-3-662-46674-2}, keywords = {dblp}, pages = {218-232}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T12:18:33.000+0200}, title = {Model-Based Formal Reasoning about Data-Management Applications.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2015.html#DaniaC15}, volume = 9033, year = 2015 }