A System Development Process with Event-B and the Rodin Platform - Sciweavers

33

click to vote

more ICFEM 2007 ...

users.ecs.soton.ac.uk

Tweet