Tony Bryant;Andy Evans
-;-
Using formal methods to reason about architectural standards
ICSE '97 Proceedings of the 19th international conference on Software engineering
Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model
IEEE Transactions on Software Engineering