ByNobleID
    SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings | NobleID