Skip to main navigation Skip to search Skip to main content

Automatic Testing with Formal Methods

  • Jan Tretmans
  • , Axel Belinfante

    Research output: Book/Report › Report › Academic

    587 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
      38 Downloads (Pure)