Requirements and constructions in abstract data type specification

Giuseppe Scollo (Invited speaker)

    Activity: Talk or presentationInvited talk

    Period8 Feb 1994
    Held atUniversity of Venice, Italy