| |
| 1998 | ||
|---|---|---|
| 1 | EE | James Shin Young, Josh MacDonald, Michael Shilman, Abdallah Tabbara, Paul N. Hilfinger, A. Richard Newton: Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement. DAC 1998: 70-75 |
| 1 | Paul N. Hilfinger | [1] |
| 2 | Josh MacDonald | [1] |
| 3 | A. Richard Newton | [1] |
| 4 | Michael Shilman | [1] |
| 5 | Abdallah Tabbara | [1] |