Testing and Formal Methods - BOS Project Case Study

Wouter Geurts, K.C.J. Wijbrans, G.J. Tretmans

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

    6 Downloads (Pure)
    Original languageEnglish
    Title of host publicationProceedings EuroSTAR'98 - 6th European International Conference on Software Testing, Analysis & Review
    Place of PublicationMunich, Germany
    PublisherEuroStar Conferences
    Pages215-229
    Number of pages15
    Publication statusPublished - 1998
    Event6th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1998 - Munich, Germany
    Duration: 30 Nov 19981 Dec 1998
    Conference number: 6

    Conference

    Conference6th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1998
    Abbreviated titleEuroSTAR
    CountryGermany
    CityMunich
    Period30/11/981/12/98

    Keywords

    • FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS
    • FMT-TESTING

    Cite this