FACS 2024

Speaker

Timothy Roscoe

ETH Zürich, Switzerland

Talks at this conference:
 Mon, 11:30 Verified fault handling for modern BMCs

 Overview