User:Jastram: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Jastram No edit summary |
imported>Jastram No edit summary |
||
Line 8: | Line 8: | ||
= Personal Wiki Links = | = Personal Wiki Links = | ||
* [[ | * [[Development Rules]] |
Latest revision as of 08:21, 26 March 2009
Michael Jastram
- Profile at University of Düsseldorf
- CV
- Homepage
- Email: michael at jastram dot de