Skip to main navigation Skip to search Skip to main content

JAIST Advanced School on Formal Specification and Systems Verification

    Activity: Attending an event › Participating in or organising a conference

    Period1 Mar 2010 → 5 Mar 2010
    Event typeConference
    LocationKanazawa, JapanShow on map