FMCO'02 - First International Symposium on Formal Methods for Components and Objects

    Activity: Participating in or organising an event typesParticipation in conference

    Description

    The objective of this symposium is to bring together researchers and practioners in the areas of software engineering and formal methods to discuss the concepts of reusability and modifiability in component-based and object-oriented software systems.
    Period5 Nov 20028 Nov 2002
    Event typeConference
    LocationLeiden, NetherlandsShow on map