Události

24th International Static Analysis Symposium

New York City 30.8-1.9.2017

Vybrané publikace

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

Vaše IPv4 adresa: 3.95.23.35
Přepnout na https