| |
| 1994 | ||
|---|---|---|
| 3 | EE | David Evans, John V. Guttag, James J. Horning, Yang Meng Tan: LCLint: A Tool for Using Specifications to Check Code. SIGSOFT FSE 1994: 87-96 |
| 2 | Yang Meng Tan: Interface Language for Supporting Programming Styles. Workshop on Interface Definition Languages 1994: 74-83 | |
| 1992 | ||
| 1 | Yang Meng Tan: Semantic analysis of Larch Interface Specifications. Larch 1992: 246-261 | |
| 1 | David Evans | [3] |
| 2 | John V. Guttag | [3] |
| 3 | James J. Horning (Jim Horning) | [3] |