User:Jens: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Jens
No edit summary
imported>Jens
 
Line 3: Line 3:


== Work in Progress ==
== Work in Progress ==
* [[User:Jens/Code_generation_Using_Flow_Analysis|Code Generation using automatic flow analysis]]
* [[User:Jens/Code_generation_Using_Flow_Analysis|Code Generation using automatic flow analysis]]
* [[User:Jens/Rodin_Workshop2010| Rodin User and Developer Workshop 2010]]


== My Links ==
== My Links ==

Latest revision as of 13:00, 22 January 2010