PROSPECTA

AcronymDefinition
PROSPECTAProgram Development By Specification and Transformation