%0 Conference Paper %1 conf/hcomp/SabouKZB020 %A Sabou, Marta %A Käsznar, Klemens %A Zlabinger, Markus %A Biffl, Stefan %A Winkler, Dietmar %B HCOMP %D 2020 %E Aroyo, Lora %E Simperl, Elena %I AAAI Press %K dblp %P 132-140 %T Verifying Extended Entity Relationship Diagrams with Open Tasks. %U http://dblp.uni-trier.de/db/conf/hcomp/hcomp2020.html#SabouKZB020 %@ 978-1-57735-848-0

@inproceedings{conf/hcomp/SabouKZB020, added-at = {2023-09-05T00:00:00.000+0200}, author = {Sabou, Marta and Käsznar, Klemens and Zlabinger, Markus and Biffl, Stefan and Winkler, Dietmar}, biburl = {https://www.bibsonomy.org/bibtex/2e50fac14e7cfd249febe7d0d356971fd/dblp}, booktitle = {HCOMP}, crossref = {conf/hcomp/2020}, editor = {Aroyo, Lora and Simperl, Elena}, ee = {https://doi.org/10.1609/hcomp.v8i1.7471}, interhash = {c41c0b90cab3c33325bde6c393948bc1}, intrahash = {e50fac14e7cfd249febe7d0d356971fd}, isbn = {978-1-57735-848-0}, keywords = {dblp}, pages = {132-140}, publisher = {AAAI Press}, timestamp = {2024-04-09T12:29:33.000+0200}, title = {Verifying Extended Entity Relationship Diagrams with Open Tasks.}, url = {http://dblp.uni-trier.de/db/conf/hcomp/hcomp2020.html#SabouKZB020}, year = 2020 }