External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

STANSE: Bug-Finding Framework for C Programs

Jan Obdrzálek, Jiri Slaby, Marek Trtík. STANSE: Bug-Finding Framework for C Programs. In Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos, editors, Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers. Volume 7119 of Lecture Notes in Computer Science, pages 167-178, Springer, 2011. [doi]

Authors

Jan Obdrzálek

This author has not been identified. Look up 'Jan Obdrzálek' in Google

Jiri Slaby

This author has not been identified. Look up 'Jiri Slaby' in Google

Marek Trtík

This author has not been identified. Look up 'Marek Trtík' in Google
runs on