Verification Using Abstract Graph Transformations

Rensink, A. (Speaker)

    Activity: Talk or presentationOral presentation

    Period1 Dec 2004
    Held atUniversity of Oldenburg, Germany

    Keywords

    • METIS-221157