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

Haxthausen, A. E. (Participant)

    Activity: Attending an eventParticipating in or organising a conference

    Period1 Mar 20105 Mar 2010
    Event typeConference
    LocationKanazawa, Japan