Travelled to:1 × USA
Collaborated with:D.Evans J.V.Guttag J.J.Horning
Talks about:specif (1) check (1) tool (1) lint (1) code (1) use (1)
Person: Yang Meng Tan
DBLP: Tan:Yang_Meng
Contributed to:
1994Wrote 1 papers:
- FSE-1994-EvansGHT #named #specification #using
- LCLint: A Tool for Using Specifications to Check Code (DE, JVG, JJH, YMT), pp. 87–96.