Pamela Zave (Q20248679)
Jump to navigation
Jump to search
American computer scientist
- Pamela Zave Smith
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Pamela Zave |
American computer scientist |
|
Statements
1 reference
1 reference
1 reference
24 July 2019
1 reference
24 July 2019
1 reference
24 July 2019
1 reference
24 July 2019
2001
For encouraging the use of formal methods in the development of telecommunication software through influential research, tool development, large case studies, and professional education. (English)
Identifiers
1 reference
2 references
Sitelinks
Wikipedia(1 entry)
- enwiki Pamela Zave