Automatic verification of transactions on object-oriented databases

D. Spelt (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Period20 Aug 1997
    Event title6th International Workshop on Database Programming Languages, DBPL 1997
    Event typeWorkshop
    Conference number6
    LocationEstes Park, United States, Colorado
    Degree of RecognitionInternational