Sciweavers

ICFEM
2007
Springer

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

14 years 6 months ago
A System Development Process with Event-B and the Rodin Platform
Jean-Raymond Abrial
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where ICFEM
Authors Jean-Raymond Abrial
Comments (0)