• Sign in
  • Sign up
conf.researchr.org / Daniel Welch
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile

Not registered as user yet

Name: Daniel Welch

Affiliation: Clemson University

Contributions

ICOOOLPS 2017 Author of A Formalization IDE Integrated with a Verifying Compiler within the ICOOOLPS 2017-track
ECOOP 2017 Author of Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software within the ECOOP Doctoral Symposium-track

Share
xMon 1 Mar 06:19
using conf.researchr.org (v1.42.1)
Support page
Sign Up