Mogelijkheden voor Formele Methoden bij de NS

G.J. Tretmans (Keynote speaker)

    Activity: Talk or presentationInvited talk

    Period3 Jun 1998
    Held atCMG B.V., Netherlands