Skip to main navigation
Skip to search
Skip to main content
About DTU Orbit
Home
Profiles
Research Units
Research output
Activities
Projects
Prizes
Press / Media
Search by expertise, name or affiliation
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
Period
1 Mar 2010
→
5 Mar 2010
Event type
Conference
Location
Kanazawa, Japan