https://catalogue-scientifique.canada.ca/record=2302735~S6*frc
Rechercher Hecht, M; Rechercher Decker, D; Rechercher Graff, S; Rechercher Green, W; Rechercher Lin, D; Rechercher Dinsmore, G; Rechercher Koch, S
sohar inc beverly hills ca, 1997
Guidelines for the programming and auditing of software written in high level languages for safety systems are presented. The guidelines are derived from a...
Publication gouvernementale