Události

International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018)/Symposium on Principles of Programming Languages (POPL 2018)

Los Angeles 7.-13.1.2018

Vybrané publikace

2018FIEDOR Tomáš, HOLÍK Lukáš, ROGALEWICZ Adam, SINN Moritz, VOJNAR Tomáš a ZULEGER Florian. From Shapes to Amortized Complexity. In: Proceedings of VMCAI'18. Heidelberg: Springer Verlag, 2018, s. 205-225. ISBN 978-3-319-73720-1. ISSN 0302-9743.

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