Towards model checking OCL

  • D.S. Distefano (Keynote speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Key-note speaker
    Period12 Jun 2000
    Event title14th European Conference on Object-Oriented Programming, ECOOP 2000
    Event typeConference
    Conference number14
    LocationSophia Antipolis and Cannes, FranceShow on map

    Keywords

    • METIS-120930