The following pages link to Juan I. Perna (Q592816):
Displayed 6 items.
- (Q436365) (redirect page) (← links)
- Mechanised wire-wise verification of Handel-C synthesis (Q436367) (← links)
- Model checking RAISE applicative specifications (Q470000) (← links)
- Correct hardware synthesis (Q766178) (← links)
- UTP Semantics for Handel-C (Q3585027) (← links)
- Mechanised Wire-wise Verification of Handel-C Synthesis (Q5179364) (← links)