Experience with Literate Programming in the Modelling and Validation of Systems

T.C. Ruys (Keynote speaker)

    Activity: Talk or presentationOral presentation


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


    • METIS-121454