Constraint-oriented specifications

Brinksma, H. (Speaker)

    Activity: Talk or presentationOral presentation

    Period23 Apr 1990
    Held atSwedish Institute of Computer Science, Sweden

    Keywords

    • METIS-123038