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.

Information Flow Analysis for Go

Eric Bodden, Ka-I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert. Information Flow Analysis for Go. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I. Volume 9952 of Lecture Notes in Computer Science, pages 431-445, 2016. [doi]

Authors

Eric Bodden

This author has not been identified. It may be one of the following persons: Look up 'Eric Bodden' in Google

Ka-I Pun

This author has not been identified. Look up 'Ka-I Pun' in Google

Martin Steffen

This author has not been identified. Look up 'Martin Steffen' in Google

Volker Stolz

This author has not been identified. Look up 'Volker Stolz' in Google

Anna-Katharina Wickert

This author has not been identified. Look up 'Anna-Katharina Wickert' in Google
runs on