Detail výsledku

From Low-Level Pointers to High-Level Containers, Technical Report No. FIT-TR-2015-03

DUDKA, K.; HOLÍK, L.; PERINGER, P.; TRTÍK, M.; VOJNAR, T. From Low-Level Pointers to High-Level Containers, Technical Report No. FIT-TR-2015-03. Brno: 2016. p. 1-28.
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Dudka Kamil, Ing.
Holík Lukáš, doc. Mgr., Ph.D., UITS (FIT)
Peringer Petr, Dr. Ing., UITS (FIT)
Trtík Marek
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
URL
Rok
2016
Strany
1–28
Místo
Brno
BibTeX 
@misc{BUT168641,
  author="Kamil {Dudka} and Lukáš {Holík} and Petr {Peringer} and Marek {Trtík} and Tomáš {Vojnar}",
  title="From Low-Level Pointers to High-Level Containers, Technical Report No. FIT-TR-2015-03",
  year="2016",
  pages="1--28",
  address="Brno",
  url="http://arxiv.org/pdf/1510.07995v1.pdf"
}
Projekty
Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí, GAČR, Standardní projekty, GA14-11384S, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru