Formal aspects of component software: 13th international conference, facs 2016, besançon, france, october 19-21, 2016, revised selected papers
Éditeur :
Springer International Publishing AG
ISBN :
9783319576657
Date de publication :
13 avr. 2017
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besançon, France, in October 2016.