indico will be upgraded to the latest version on Tuesday 10th Decmeber. It may be unavailable all day.

9–10 Jun 2016
ESA/ESTEC
Europe/Amsterdam timezone

Formal Methods Expert to IMA-SP Kernel Qualification Preparation

9 Jun 2016, 10:20
20m
Einstein (ESA/ESTEC)

Einstein

ESA/ESTEC

Keplerlaan 1 2201 AZ Noordwijk The Netherlands

Speaker

Dr Andrew Butterfield (LERO)

Presentation materials