|
|
Contact Information:
 PHD Thesis:
[
Unknown
--
]
Automated reasoning about hardware data types using bit-vectors of symbolic length
Advisors:
|
|
|
