Dr. Pamela Zave

Digital Library

ACM Fellows

USA - 2001

citation

For encouraging the use of formal methods in the development of telecommunication software through influential research, tool development, large case studies, and professional education.