Information Systems Modeling: Language, Verification, and Tool Support.

Artem Polyvyanyy, Jan Martijn E. M. van der Werf, Sietse Overbeek, Rick Brouwers

Browse the full CaiSE paper archive.