Posted in Business & Finance DSV-IS stands for Design, Specification, and Verification of Interactive Systems (Workshop)