|
|
JAIST Repository >
著者: "Matsumoto, Michihiro"
3 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 13-Aug-1997 | The equivalence of the reductions with the E-strategy with and without marks | Nagaya, Takashi; Matsumoto, Michihiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 20-Feb-1998 | Concurrent object composition in CafeOBJ | Iida, Shusaku; Matsumoto, Michihiro; Diaconescu, Razvan; Futatsugi, Kokichi; Lucanu, Dorel |
| 22-Jun-2000 | The tool that support highly reliable component-based software development | Matsumoto, Michihiro; Futatsugi, Kokichi |
|
