FMA  - Formal Methods for Aerospace

 

A workshop affiliated with   Formal Methods Week FM2009

 

3rd November 2009, Eindhoven, the Netherlands

 

 

                                                        

 

 

 

Organizers

Manuela Bujorianu,

       University of Manchester, UK

Michael Fisher,     

        University of Liverpool, UK

 

Final programme and presentations

Registered participants

 

 

 

You are here: Mathematics > Manuela Bujorianu > FMA: Formal Methods for Aerospace Workshop