Compositional testing with ioco

H.M. van der Bijl (Speaker)

    Activity: Talk or presentationOral 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, Quebec