@bookWiersema_2021, place=Paderborn, title=Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware, publisher=Paderborn University, author=Wiersema, Tobias, year=2021 
LibreCat: /record/26746