Verification Using Abstract Graph Transformations

    Activity: Talk or presentation › Oral presentation

    Period1 Dec 2004
    Held atUniversity of Oldenburg, Germany

    Keywords

    • METIS-221157