Regular types, modes and model checking: Invited Talk

    Activity: Talk or presentationLecture and oral contribution

    Description

    Invited speaker
    Period2004
    Event titleThe 14th Workshop on Logic Programming Environments: null
    Event typeConference
    LocationSt. Malo, France