Farhad Arbab Books
Formal Aspects of Component Software
By Farhad Arbab
This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full papers presen...
Read More