TY  - BOOK
AU  - Fiadeiro,José Luiz
AU  - Liu,Zhiming
AU  - Xue,Jinyun
TI  - Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers 
SN  - 9783319076027
PY  - 2014///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Computer programming
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Mathematical logic
KW  - Management information systems
N1  - Probabilistic modal specifications -- Orchestration -- Super-dense computation in verification of Hybrid CSP Processes -- A proof-carrying code approach to certificate auction mechanisms -- Towards verification of ensemble based component systems
UR  - http://dx.doi.org/10.1007/978-3-319-07602-7
ER  -