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.

Safe and sound program analysis with Flix

Magnus Madsen, Ondrej Lhoták. Safe and sound program analysis with Flix. In Frank Tip, Eric Bodden, editors, Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. pages 38-48, ACM, 2018. [doi]

Authors

Magnus Madsen

This author has not been identified. Look up 'Magnus Madsen' in Google

Ondrej Lhoták

This author has not been identified. It may be one of the following persons: Look up 'Ondrej Lhoták' in Google
runs on