Výpis publikací

2016

1. From Low-Level Pointers to High-Level Containers

   DUDKA, Kamil, Lukáš HOLÍK, Petr PERINGER, Marek TRTÍK a Tomáš VOJNAR. From Low-Level Pointers to High-Level Containers. In B. Jobstmann, K. Rustan, M. Leino. Verification, Model Checking, and Abstract Interpretation. LNCS, VMCAI 2016. St. Petersburg, Florida, United States: Springer, Switzerland, 2016, s. 431-452. ISBN 978-3-662-49121-8. Dostupné z: https://dx.doi.org/10.1007/978-3-662-49122-5_21.

   Podrobněji: https://is.muni.cz/publication/1316339/cs