Not registered as user yet

Name:Dorian Desblancs
Country:France
Affiliation:École normale supérieure Paris-Saclay

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