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.

OBRA: Oracle-Based, Relational, Algorithmic Type Verification

Elizaveta Vasilenko, Niki Vazou, Gilles Barthe. OBRA: Oracle-Based, Relational, Algorithmic Type Verification. In Oleg Kiselyov, editor, Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings. Volume 15194 of Lecture Notes in Computer Science, pages 283-302, Springer, 2024. [doi]

Authors

Elizaveta Vasilenko

This author has not been identified. Look up 'Elizaveta Vasilenko' in Google

Niki Vazou

This author has not been identified. Look up 'Niki Vazou' in Google

Gilles Barthe

This author has not been identified. Look up 'Gilles Barthe' in Google
runs on