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