DSV-IS

AcronymDefinition
DSV-ISDesign, Specification, and Verification of Interactive Systems (Workshop)