Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings by José Proença, Markus Lumpe
English | 2017 | ISBN: 3319680331 | 251 Pages | PDF | 28.1 MB
This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.