Static inspection: tapping the wheels of software (1995)

by L Hatton
Venue:Software, IEEE