Experience with Literate Programming in the Modelling and Validation of Systems

T.C. Ruys (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Key-note speaker
    Period3 Apr 1998
    Event title4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1998
    Event typeConference
    Conference number1998
    LocationLisbon, Portugal
    Degree of RecognitionInternational

    Keywords

    • METIS-121454