in Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 9539, Pages: 294-311
Conference
12Th International Conference on Formal Aspects of Component Software, Facs 2015, Date: 14 October 2015 through 16 October 2015