Experience with literate programming in the modelling and validation of systems

T.C. Ruys, E. Brinksma

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    15 Citations (Scopus)
    Original languageEnglish
    Title of host publicationTools and Algorithms for the Construction and Analysis of Systems (Proceedings 4th International Conference, TACAS'98; held as part of ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998)
    EditorsB. Steffen
    PublisherSpringer
    Pages393-408
    ISBN (Print)3-540-64356-7
    DOIs
    Publication statusPublished - 1998

    Publication series

    NameLecture Notes in Computer Science
    Volume1384
    ISSN (Print)0302-9743

    Cite this