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 Interfaces

Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa. Information-flow Interfaces. In Einar Broch Johnsen, Manuel Wimmer, editors, Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Volume 13241 of Lecture Notes in Computer Science, pages 3-22, Springer, 2022. [doi]

Authors

Ezio Bartocci

This author has not been identified. Look up 'Ezio Bartocci' in Google

Thomas Ferrère

This author has not been identified. Look up 'Thomas Ferrère' in Google

Thomas A. Henzinger

This author has not been identified. Look up 'Thomas A. Henzinger' in Google

Dejan Nickovic

This author has not been identified. Look up 'Dejan Nickovic' in Google

Ana Oliveira da Costa

This author has not been identified. Look up 'Ana Oliveira da Costa' in Google
runs on