Podrobný výpis o publikaci

@inproceedings{14623,
   author = {Obdržálek, Jan and Slabý, Jiří and Trtík, Marek},
   address = {Brno},
   booktitle = {LNCS Proceeding of Memics 2011},
   keywords = {Bug-finding; static analysis; framework; checker},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Brno},
   isbn = {978-3-642-25928-9},
   pages = {167-178},
   publisher = {Springer},
   title = {STANSE: Bug-finding Framework for C Programs},
   year = {2012}
}

TY  - JOUR
ID  - 14623
AU  - Obdržálek, Jan - Slabý, Jiří - Trtík, Marek
PY  - 2012
TI  - STANSE: Bug-finding Framework for C Programs
PB  - Springer
CY  - Brno
SN  - 9783642259289
KW  - Bug-finding
KW  - static analysis
KW  - framework
KW  - checker
N2  - Regular paper accepted at the MEMICS 2011 workshop. The paper deals with static analysis. It also describes a framework and tool called Stanse.
ER  - 

OBDRŽÁLEK, Jan, Jiří SLABÝ a Marek TRTÍK. STANSE: Bug-finding Framework for C Programs. In \textit{LNCS Proceeding of Memics 2011}. Brno: Springer, 2012, s.~167-178. ISBN~978-3-642-25928-9.