Filtrování

    2016

    1. From Low-Level Pointers to High-Level Containers D - Stať ve sborníku
      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://doi.org/10.1007/978-3-662-49122-5_21.
      Podrobněji: https://is.muni.cz/publication/1316339/cs
Zobrazit podrobně