The Rodin Platform Has Turned Ten

Laurent Voisin, Jean-Raymond Abrial
Digital Printed Abstract View Cite
Type
Invited Talk
Publication
4th International Conference on ASM, Alloy, B, TLA, VDM, and Z (ABZ'14)

Abstract

In this talk, we give an historical account of the development of the Rodin Platform during the last 10 years.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{VoisinA14,
  author       = {Laurent Voisin and
                  Jean{-}Raymond Abrial},
  editor       = {Yamine A{\"{\i}}t Ameur and
                  Klaus{-}Dieter Schewe},
  title        = {The Rodin Platform Has Turned Ten},
  booktitle    = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
                  Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8477},
  pages        = {1--8},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-43652-3\_1},
  doi          = {10.1007/978-3-662-43652-3\_1},
  timestamp    = {Tue, 29 Dec 2020 18:38:32 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/VoisinA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
ABZ'14

Related