On the coverage of partial validations

E. Brinksma

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

    Original languageEnglish
    Title of host publicationAlgebraic Methodology and Software Technology (Proceedings 3rd International Conference, AMAST'93, Enschede, The Netherlands, June 21-25, 1993)
    EditorsM. Nivat, C. Rattray, T. Rus, G. Scollo
    PublisherSpringer
    Pages245-252
    ISBN (Print)3-540-19852-0
    Publication statusPublished - 1994

    Publication series

    NameWorkshops in Computing

    Cite this