(Q5606035)
Statements
2013
10 December 2013
For contributions to mathematically-based methods for ensuring the efficient implementation and verification of practical programming languages (English)
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Greg Morrisett