Statistics
Publications
1
Citations
11
H-Index
1
Active since
2013
Affiliations
Bahram N. Uchevler is an author at Norwegian University of Science and Technology specializing in formal property specification, formal hardware verification, and computing.
Publications per year
2013–2013
1
1
1–1 of 1