![]() |
14th International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
Executable Software Models
16-20 June 2014
Presentation | Programme | Location | Organization | Application |
Application deadline: | 21 March 2014 |
Notification deadline: | 31 March 2014 |
Registration deadline: | 20 April 2014 |