| |
| 2002 | ||
|---|---|---|
| 3 | EE | Marsha Chechik, Andre Wong: Formal modeling in a commercial setting: A case study. Journal of Systems and Software 60(1): 59-82 (2002) |
| 1999 | ||
| 2 | EE | Andre Wong, Marsha Chechik: Formal Modeling in a Commercial Setting: A Case Study. World Congress on Formal Methods 1999: 590-607 |
| 1 | EE | Andre Wong, Marsha Chechik: Formal Modeling in a Commercial Setting: A Case Study CoRR cs.SE/9906032: (1999) |
| 1 | Marsha Chechik | [1] [2] [3] |