![]() | ![]() |
1999 | ||
---|---|---|
2 | EE | Sea Ling, Heinz W. Schmidt, Rohan Fletcher: Constructing Interoperable Components in Distributed Systems. TOOLS (32) 1999: 274- |
1996 | ||
1 | Rohan Fletcher, A. S. M. Sajeev: A Framework for Testing Object-Oriented Software Using Formal Specifications. Ada-Europe 1996: 159-170 |
1 | Sea Ling | [2] |
2 | A. S. M. Sajeev | [1] |
3 | Heinz W. Schmidt | [2] |