Title

Formal aspects of component software. Revised selected papers

Title Supplement

11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014

Editor(s)

Lanese, Ivan

Madelaine, Eric

Publisher

Publishing Place

Cham

Publication Date

2015

Series

Lecture Notes in Computer Science; 8997

ISBN

978-331-91531-7-9

978-331-91531-6-2

Conference