Olga Kouchnarenko, Ramtin Khosravi

Formal Aspects of Component Software - Springer Springer 2017

9783319576664

EBOOK