Quentin Stievenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover. Poster: Static Analysis of Concurrent Higher-Order Programs. In 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. pages 821-822, IEEE, 2015. [doi]
Abstract is missing.