Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michael Benedikt
conf.researchr.org general profile
ISSTA 2017 profile
POPL 2021 profile
Registered user since Wed 20 Jan 2021
Name:
Michael Benedikt
Affiliation:
University of Oxford, UK
Contributions
2021
POPL
Author of Generating Collection Transformations from Proofs within the POPL-track
2017
ISSTA
Author of ArtForm: A Tool for Exploring the Codebase of Form-Based Websites within the Demonstrations-track
Share
x
Thu 21 Nov 13:09