Formal Aspects of Component Software
José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
Formal Aspects of Component Software - 2014 - Springer International Publishing 2014 - 8348 - Lecture Notes in Computer Science .
978-3-319-07602-7
1611-3349
Formal Aspects of Component Software - 2014 - Springer International Publishing 2014 - 8348 - Lecture Notes in Computer Science .
978-3-319-07602-7
1611-3349