Login / Signup
John Socha
Publication Activity (10 Years)
Years Active: 1997-1999
Publications (10 Years): 0
</>
Publications
</>
Kevin J. Sullivan
,
Mark Marchukov
,
John Socha
Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model.
IEEE Trans. Software Eng.
25 (4) (1999)
Kevin J. Sullivan
,
John Socha
,
Mark Marchukov
Using Formal Methods to Reason about Architectural Standards.
ICSE
(1997)