Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gerard Allwein
conf.researchr.org general profile
ICFP 2020 profile
Not registered as user
Name:
Gerard Allwein
Affiliation:
U.S. Naval Research Laboratory
Contributions
2020
TyDe
Author of Strongly Bounded Termination with Applications to Security and Hardware Synthesis within the TyDe 2020-track
Share
x
Thu 19 Dec 13:05