Statistics
Publications
1
Citations
88
H-Index
1
Active since
1990
Affiliations
J. Ganz is an author at École Polytechnique Fédérale de Lausanne specializing in formal methods, formal verification, and cryptography.
Publications per year
1990–1990
1
1
1–1 of 1