Not registered as user yet

Name:David Cock
Country:Switzerland
Affiliation:ETH Zurich

Contributions

SPIN 2021 Author of A model-checked I2C specification within the SPIN-track