JAIST Advanced School on Formal Specification and Systems Verification

    Activity: Attending an eventParticipating in or organising a conference

    Period1 Mar 20105 Mar 2010
    Event typeConference
    LocationKanazawa, JapanShow on map