DASIA 2013

May 14-16, 2013 – Portugal

Johannes Kanig and David Lesens (Astrium Space Transportation) are presenting, "Formal Validation of Aerospace Software".