Didier Le Botlan - SPIN 2021

Write a Blog >>

Mon 12 Jul 2021 Online

co-located with ECOOP and ISSTA 2021

Registered user since Wed 30 Jun 2021

Name:Didier Le Botlan

Country:France

Affiliation:LAAS-CNRS

Contributions

2021

SPIN

Accelerating the Computation of Dead and Concurrent Places using Reductions

Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile