Events

24th International Static Analysis Symposium

New York City 30.8-1.9.2017

Selected publications

2017HOLÍK Lukáš, MEYER Roland, VOJNAR Tomáš and WOLF Sebastian. Effect Summaries for Thread-Modular Analysis. In: SAS 2017: Static Analysis. Cham: Springer International Publishing, 2017, pp. 169-191. ISBN 978-3-319-66706-5.

Your IPv4 address: 54.196.208.187
Switch to https

DNSSEC [dnssec]