ecke
Institut für Informatik
Softwaretechnik und Programmiersprachen

We have a new website! These are the old archived pages.

For our up-to-date pages, please visit our new website.

Proceedings AVoCS 2010 and Rodin 2010

Authors
TitleProceedings AVoCS 2010 and Rodin 2010
Published Technical Report University of Düsseldorf, 2010
EditorsJens Bendisposto, Michael Leuschel, Markus Roggenbach, Stefan Hallerstede, Michael Butler, Laurent Voisin
AbstractProceedings of the 10th International Workshop on Automated Verification of Critical Systems and the 2nd Rodin User and Developer Workshop
Keywords Formal Methods
URLsAVoCS 2010 Website
DownloadPDF
  BibTeX
Imprint