Not registered as user yet

Name:Pierre Jouvelot
Country:France
Affiliation:MINES ParisTech, PSL University

Contributions

FARM 2021 Author of The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms within the FARM 2021-track