| |
| 1999 | ||
|---|---|---|
| 2 | John Howse, Shusaku Iida, Richard Mitchell, Bernhard Rumpe: Should UML Have a Single Semantics? Should UML Have a Single Core Semantics? ECOOP Workshops 1999: 41-44 | |
| 1 | EE | Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida: Component-Based Algebraic Specification and Verification in CafeOBJ. World Congress on Formal Methods 1999: 1644-1663 |
| 1 | Razvan Diaconescu | [1] |
| 2 | Kokichi Futatsugi | [1] |
| 3 | John Howse | [2] |
| 4 | Richard Mitchell | [2] |
| 5 | Bernhard Rumpe | [2] |