Using mathematical models in the inspection of critical software (1995)

by D L Parnas
Venue:In Applications of Formal Methods, International Series in Computer Science