Sciweavers

ASM
2008
ASM

A Roadmap for the Rodin Toolset

14 years 2 months ago
A Roadmap for the Rodin Toolset
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where ASM
Authors Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin
Comments (0)