Automatic Testing with Formal Methods

Jan Tretmans, Axel Belinfante

    Research output: Book/Report › Report › Academic

    548 Downloads (Pure)
    • 1 Conference contribution
    Filter
    Conference contribution

    Search results

    • 1999

      Automatic Testing with Formal Methods

      Tretmans, G. J. & Belinfante, A., 1999, EuroSTAR'99: 7th European International Conference on Software Testing, Analysis & Review. Galway, Ireland: EuroStar Conferences, 21 p.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional

      Open Access
      File
      23 Downloads (Pure)