User:Jens: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Jens No edit summary |
imported>Jens No edit summary |
||
Line 4: | Line 4: | ||
== 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]] | ||
== My Links == | |||
* [[ProB]] | |||
* [[ProB_API]] | |||
* [[Text_Editor]] |