Validation and Implementation of Scenario-based Specifications, VISS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-14, 2002

BenoƮt Caillaud, Anca Muscholl, editors, Validation and Implementation of Scenario-based Specifications, VISS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-14, 2002. Volume 65 of Electronic Notes in Theoretical Computer Science, Elsevier, 2002. [doi]

Conference: etaps2002

Abstract

Abstract is missing.