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.

An Easy to Use Infrastructure for Building Static Analysis Tools

Kamil Dudka, Petr Peringer, Tomás Vojnar. An Easy to Use Infrastructure for Building Static Analysis Tools. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2011 - 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I. Volume 6927 of Lecture Notes in Computer Science, pages 527-534, Springer, 2011. [doi]

Authors

Kamil Dudka

This author has not been identified. Look up 'Kamil Dudka' in Google

Petr Peringer

This author has not been identified. Look up 'Petr Peringer' in Google

Tomás Vojnar

This author has not been identified. Look up 'Tomás Vojnar' in Google
runs on