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.

Flavors of Sequential Information Flow

Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa. Flavors of Sequential Information Flow. In Bernd Finkbeiner, Thomas Wies, editors, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Volume 13182 of Lecture Notes in Computer Science, pages 1-19, 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