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
Activity: Attending an event › Participating in or organising a conference