Další formáty:
BibTeX
LaTeX
RIS
@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.
|