ToC

2011

  • Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge
    Automated Property Verification for Large Scale B Models with ProB.
    In Formal Aspects of Computing, 23, 6, 683--709, 2011.
  • Bendisposto, Jens, Fritz, Fabian, Jastram, Michael, Leuschel, Michael, Weigelt, Ingo
    Developing Camille, a text editor for Rodin.
    In Software: Practice and Experience, 41, 2, John Wiley & Sons, Ltd., 189--198, 2011.

2009

  • Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge
    Automated Property Verification for Large Scale B Models.
    In Proceedings FM 2009, Lecture Notes in Computer Science, 5850, Springer-Verlag, 708--723, 2009.