Dr. Philipp Schubert
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-030-17465-1_22 Preprint PDF (493 [...] 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.3329965 Preprint PDF (709 …