conf.researchr.org / Steven Keuchel

Registered user since Mon 19 Aug 2019

Name:Steven Keuchel

Contributions

REMS-DeepSpec 2020 Author of Katamaran: semi-automated verification of ISA specifications within the REMS-DeepSpec 2020-track
TTT 2017 Author of Needle & Knot: A Framework for Meta-Theoretical Specifications with Binding within the TTT-track