An Automated Deductive Verification Framework for Circuit-building

von Chareton, Christophe
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)