Eric Madelaine

1 published title

Formal aspects of component software : 11th international symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, revised selected papers

(Contributor)

1 edition