Wat is the method in formal methods

Brinksma, H. (Speaker)

    Activity: Talk or presentationOral presentation

    Period7 Mar 1994
    Event title1st SOS Workshop 1994
    Event typeWorkshop
    Conference number1
    LocationHildesheim, Germany