Original language | English |
---|---|
Title of host publication | Proceedings of AVOCS 2010 and the Rodin User and Developer Workshop 2010 |
Editors | Jens Bendisposto, Michael Leuschel, Markus Roggenbach, Stefan Halle |
Place of Publication | Düsseldorf |
Publisher | University of Düsseldorf |
Number of pages | 2 |
Publication status | Published - 2010 |
Event | Rodin User and Developer Workshop 2010 - University of Düsseldorf, Düsseldorf, Germany Duration: 20 Sept 2010 → 22 Sept 2010 http://www.event-b.org/rodin10.html |
Workshop
Workshop | Rodin User and Developer Workshop 2010 |
---|---|
Country/Territory | Germany |
City | Düsseldorf |
Period | 20/09/10 → 22/09/10 |
Other | The workshop was colocated with AVOCS 2010, the 10th International Workshop on Automated Verification of Critical Systems, September 21-23, 2010 |
Internet address |