High integrity software
Ib Sorensen and David Neilson
Address
Norwell‚ MA‚ USA
Chapter
B: towards zero defect software
ISBN
0−7923−7949−7
Pages
23–42
Publisher
Kluwer Academic Publishers
Year
2001
Ib Sorensen and David Neilson