| |
| 1999 | ||
|---|---|---|
| 2 | EE | 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): 584-599 (1999) |
| 1997 | ||
| 1 | EE | Kevin J. Sullivan, John Socha, Mark Marchukov: Using Formal Methods to Reason about Architectural Standards. ICSE 1997: 503-513 |
| 1 | Mark Marchukov | [1] [2] |
| 2 | Kevin J. Sullivan | [1] [2] |