An interview with the winners of ETAPS Test-of-time Tool Award 2023 for CADP has been just published at ETAPS blog! https://etaps.org/blog/010-cadp/
#cadp #etaps