Formal Aspects of Component Software

José Proença, Markus Lumpe

Formal Aspects of Component Software - Springer Springer 2017

9783319680347

EBOOK