Hammurabi Mendes

HM

Statistics

Publications

4

Citations

184

H-Index

4

Active since

2013

Affiliations

Hammurabi Mendes is an author at Brown University specializing in engineering, formal methods, and formal verification.

Publications per year

2013–2016

4

Publications

4