(Q20248679)
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