Compositional testing with ioco

  • H.M. van der Bijl (Speaker)

    Activity: Talk or presentation › Oral presentation

    Period6 Oct 2003
    Event title3rd International Workshop on Formal Approaches to Testing of Software, FATES 2003: Formal approaches to software testing
    Event typeConference
    Conference number3
    LocationMontreal, Canada, QuebecShow on map