Difference between revisions of "User:Jens"
From Event-B
Jump to navigationJump to searchimported>Jens |
imported>Jens |
||
(One intermediate revision by the same user not shown) | |||
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/Rodin_Workshop2010| Rodin User and Developer Workshop 2010]] | ||
+ | |||
+ | == My Links == | ||
+ | * [[ProB]] | ||
+ | * [[ProB_API]] | ||
+ | * [[Text_Editor]] |