kris7t
More
Researcher working in the formal verification of extra-function properties for reconfigurable systems
- Budapest, Hungary
- https://marussy.com
- https://orcid.org/0000-0002-9135-8256
Block or Report
Block or report kris7t
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse