![]() | ![]() |
| 2006 | ||
|---|---|---|
| 2 | Hitoshi Furusawa, Eun-Hye Choi, Hiroshi Watanabe: Efficiency analysis of model-based review in actual software design. ICSE 2006: 604-607 | |
| 2005 | ||
| 1 | Eun-Hye Choi, Hiroshi Watanabe: Model Checking Class Specifications forWeb Applications. APSEC 2005: 67-78 | |
| 1 | Hitoshi Furusawa | [2] |
| 2 | Hiroshi Watanabe | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page