conf.researchr.org / Daniel Kienitz
Not registered as user yet
Name:Daniel Kienitz
Affiliation:Heriot-Watt University
Contributions
| APLAS 2020 | Author of Neural Networks, Secure by Construction: An Exploration of Refinement Types within the Research Papers-track |