Verifying Extended Entity Relationship Diagrams with Open Tasks.

Marta Sabou, Klemens Ksznar, Markus Zlabinger, Stefan Biffl, Dietmar Winkler

Browse the full HCOMP paper archive.