• Media type: E-Article
  • Title: Output-sensitive Information flow analysis
  • Contributor: Cristian Ene; Laurent Mounier; Marie-Laure Potet
  • Published: 2021
  • Published in: Logical Methods in Computer Science (2021)
  • Language: English
  • DOI: 10.23638/LMCS-17(1:15)2021
  • ISSN: 1860-5974
  • Origination:
  • Footnote:
  • Access State: Open Access