Poster: Static Analysis of Concurrent Higher-Order Programs.

Quentin Stivenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Browse the full ICSE paper archive.