Výpis publikací

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.

ŘEHÁK, Zdeněk, Aleš SMRČKA, Jan HOLEČEK, David ŠAFRÁNEK a Vojtěch ŘEHÁK. VHDL Design Verification Tools. 2009.

OBDRŽÁLEK, Jan, Marek TRTÍK a Jiří SLABÝ. Stanse - Static Analysis Framework for C Code. 2008.