Daniel Welch - PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

Write a Blog >>

Sun 18 - Fri 23 June 2017 Barcelona, Spain

Not registered as user

Name:Daniel Welch

Affiliation:Clemson University

Contributions

2017

ICOOOLPS

A Formalization IDE Integrated with a Verifying Compiler

ECOOP

Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software

Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile