46206

4382063

Christiano Braga

Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers

Springer

2016

9783319289335 ; 9783319289335 ; 9783319289335 ; 9783319289335 ; 9783319289342 ; 9783319289342 ; 9783319289342 ; 9783319289342