Improving UML Design Tools by Formal Games .

Jennifer Tenzer

Browse the full ICSE paper archive.