Mogelijkheden voor Formele Methoden bij de NS

  • G.J. Tretmans (Keynote speaker)

    Activity: Talk or presentation › Invited talk

    Period3 Jun 1998
    Held atCMG B.V., Netherlands