J. Ganz

JG

Statistics

Publications

1

Citations

88

H-Index

1

Active since

1990

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

Publications

1