Richard A. Kemmerer
ACM Fellows
USA - 1997
citation
For contributions in the areas of formal specification and verification of systems, computer system security and reliability, specification language design, and software engineering.
citation
For contributions in the areas of formal specification and verification of systems, computer system security and reliability, specification language design, and software engineering.