A First Attempt to Express KAOS Refinement Patterns with Event B - Sciweavers

87

click to vote

more ASM 2008 ...

pages.usherbrooke.ca

Tweet