Dr. Philipp Schubert
Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis ( SOAP 2019 ). Association for Computing Machinery, New York, NY, USA, 8–13. DOI: https://doi.org/10.1145/3315568 [...] Vojnar T., Zhang L. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Lecture Notes in Computer Science, vol 11428. Springer, Cham. DOI: https://doi.org/10.1007/978-3 …