Eric Madelaine

Livres
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2015
Formal Methods for Components and Objects Formal Methods for Components and Objects
Formal Methods for Components and Objects
2009