Sylvain Ribstein -

Registered user since Thu 19 Mar 2020

Name:Sylvain Ribstein

Contributions

2021

FARM

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