(Q102216506)
Statements
5 December 2018
1 reference
2018
5 December 2018
For contributions to Information Security and Formal Methods (English)
1 reference
Identifiers
1 reference
10 February 2023
14 February 2023
Ph.D. Cornell University 1989
No description defined