Cleanroom software engineering
https://ifs.host.cs.st-andrews.ac.uk/Books/SE9/Web/Cleanroom/
Cleanroom software engineering
Wentz Wu
ISSAP, ISSEP, ISSMP CISSP, CCSP, CSSLP, CGRC, SSCP, CC, CISM, CISA, CRISC, CGEIT, PMP, ACP, PBA, RMP, CEH, ECSA
