Experiences with Modeling and Verification of Regulations.

Jan Vanthienen, Christophe Mues, Stijn Goedertier

Browse the full CaiSE paper archive.