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 Control-by-Construction for an Object-Oriented Language

Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer. Information Flow Control-by-Construction for an Object-Oriented Language. In Bernd-Holger Schlingloff, Ming Chai, editors, Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings. Volume 13550 of Lecture Notes in Computer Science, pages 209-226, Springer, 2022. [doi]

Authors

Tobias Runge

This author has not been identified. Look up 'Tobias Runge' in Google

Alexander Kittelmann

This author has not been identified. Look up 'Alexander Kittelmann' in Google

Marco Servetto

This author has not been identified. Look up 'Marco Servetto' in Google

Alex Potanin

This author has not been identified. Look up 'Alex Potanin' in Google

Ina Schaefer

This author has not been identified. It may be one of the following persons: Look up 'Ina Schaefer' in Google
runs on