A denotational semantics for Handel-C hardware compilation
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
A denotational semantics for Handel-C
Formal methods and hybrid real-time systems
A hoare calculus for the verification of synchronous languages
PLPV '12 Proceedings of the sixth workshop on Programming languages meets program verification
Mechanised wire-wise verification of Handel-C synthesis
Science of Computer Programming
Hi-index | 0.00 |