- CSB - MetaPress - Google - Bing - Yahoo
 | 1994 | |
|---|---|---|
| 3 |      | 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] |