Specification and Verification of Secure Embedded Systems
Travel and Accommodation
The workshop will take place in Pisa, Tuscany, Italy on May 18th 2006 — co-located with iTrust2006.
Information about travel and accomodation are available here.
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009