Thomas Given-Wilson - ECOOP and ISSTA 2021

Write a Blog >>

Sun 11 - Sat 17 July 2021 Online

Registered user since Wed 10 Apr 2019

Name:Thomas Given-Wilson

Country:Belgium

Affiliation:Université catholique de Louvain

Contributions

2021

SPIN

C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs

Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile