Model Checking for Graph Transformation Systems, with Applications to Java

Rensink, A. (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: Grenoble, INRIA Rhone-Alpes
    Period4 Dec 2003
    Event titleTalk MODOCOP Workshop on Smart Card Specification, Verification, and Testing
    Event typeConference
    LocationGrenoble, INRIA Rhone-Alpes

    Keywords

    • METIS-215980