DMCA

LCLint: A Tool for Using Specifications to Check Code (1994)

Cached

Download Links

by David Evans , John Guttag , James Horning , Yang Meng Tan
Venue:In FSE
Citations:131 - 1 self