RISC-V Summit 2019: 68 An Efficient Runtime Validation Framework based on the Theory of Refinement

Name: RISC-V Summit 2019: 68 An Efficient Runtime Validation Framework based on the Theory of Refinement
Uploaded: 2020-01-18T00:00:00.000Z
Duration: 1079 s
Description: Video RISC-V Summit 2019: 68 An Efficient Runtime Validation Framework based on the Theory of Refinement

(link)

Channel: RISC-V International