JAIST Advanced School on Formal Specification and Systems Verification 2010 ( JAIST-FSSV2010)

Haxthausen, A. E. (Participant)

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

    Period1 Mar 2010 → 5 Mar 2010
    Event typeConference
    LocationKanazawa, Japan