Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
Toggle navigation
Attending
Venue: Online
Registration
Program
APLAS Program
Your Program
Mon 30 Nov
Tue 1 Dec
Wed 2 Dec
Tracks
APLAS 2020
Keynote Talks
Posters
Reports
Research Papers
Organization
APLAS 2020 Committees
Organising Committee
Program Committee
Contributors
People Index
Search
Series
Series
APLAS & ATVA 2026
APLAS 2025
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS 2020
(
series
) /
Daniel Kienitz
APLAS 2020 profile
conf.research.org general profile
Not registered as user
Name:
Daniel Kienitz
Affiliation:
Heriot-Watt University
Contributions
2020
APLAS
Neural Networks, Secure by Construction: An Exploration of Refinement Types
Show activities from other conferences
Share
APLAS 2020-profile
View general profile
x
Thu 8 Oct 10:13