%0 Conference Paper %1 conf/icse/Tenzer04 %A Tenzer, Jennifer %B ICSE %D 2004 %E Finkelstein, Anthony %E Estublier, Jacky %E Rosenblum, David S. %I IEEE Computer Society %K %P 75-77 %T Improving UML Design Tools by Formal Games . %U http://dblp.uni-trier.de/db/conf/icse/icse2004.html#Tenzer04 %@ 0-7695-2163-0

@inproceedings{conf/icse/Tenzer04, added-at = {2023-12-14T16:29:47.000+0100}, author = {Tenzer, Jennifer}, biburl = {https://www.bibsonomy.org/bibtex/256280ff0ab3e3a74ff4064afb36e06da/admin}, booktitle = {ICSE}, crossref = {conf/icse/2004}, editor = {Finkelstein, Anthony and Estublier, Jacky and Rosenblum, David S.}, ee = {http://dl.acm.org/citation.cfm?id=999412}, interhash = {f8d3fa0169d49d852ad2889a049e1bef}, intrahash = {56280ff0ab3e3a74ff4064afb36e06da}, isbn = {0-7695-2163-0}, keywords = {}, pages = {75-77}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T16:29:47.000+0100}, title = {Improving UML Design Tools by Formal Games .}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2004.html#Tenzer04}, year = 2004 }