Difference between revisions of "AnimB Current Developments"
From Event-B
Jump to navigationJump to searchimported>Mathieu m |
imported>Mathieu m |
||
Line 1: | Line 1: | ||
{{TODO|detail here the current devs}} | {{TODO|detail here the current devs}} | ||
+ | |||
+ | See also the [[AnimB roadmap|preliminary roadmap]]. | ||
[[Category:Work in progress]] | [[Category:Work in progress]] | ||
+ | [[Category:AnimB]] |
Latest revision as of 09:40, 4 March 2009
TODO: detail here the current devs
See also the preliminary roadmap.