Regular types, modes and model checking: Invited Talk

Gallagher, J. P. (Oplægsholder)

    Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

    Beskrivelse

    Invited speaker
    Periode2004
    Sted for afholdelseThe 14th Workshop on Logic Programming Environments
    BegivenhedstypeKonference
    PlaceringSt. Malo, Frankrig