Statistics
Publications
1
Citations
17
H-Index
1
Active since
2007
Affiliations
Victor Hernandez-Baruch is an author at Laboratoire d'Informatique de Grenoble specializing in formal verification, formal methods, and transaction processing.
Publications per year
2007–2007
1
1
1–1 of 1