Azmy, Noran, 1986-....
VIAF ID: 42150565753606252453 ( Personal )
Permalink: http://viaf.org/viaf/42150565753606252453
Preferred Forms
- 100 1 _ ‡a Azmy, Noran, ‡d 1986-....
Works
Title | Sources |
---|---|
A Machine-Checked Proof of Correctness of Pastry | |
Une preuve certifiée par la machine de la correction du protocole Pastry. |