Experience with Literate Programming in the Modelling and Validation of Systems

  • T.C. Ruys (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Period3 Apr 1998
    Event title4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1998
    Event typeConference
    Conference number1998
    LocationLisbon, PortugalShow on map
    Degree of RecognitionInternational