2014

  • John Witulski, Michael Leuschel
    Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB.
    In Proceedings of the 1st Workshop on Formal-IDE, EPTCS, 149, Electronic Proceedings in Theoretical Computer Science, 2014.