Formal methods for verification and validation of partial specifications

de Steve Easterbrook