Property-Based Methods for Collaborative Model Development.

Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, Istvn Rth, Rick Salay, Dniel Varr

Browse the full MODELS paper archive.