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.

Partially Bounded Context-Aware Verification

Luka Le Roux, Ciprian Teodorov. Partially Bounded Context-Aware Verification. In Peter Csaba Ölveczky, Gwen Salaün, editors, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. Volume 11724 of Lecture Notes in Computer Science, pages 532-548, Springer, 2019. [doi]

Authors

Luka Le Roux

This author has not been identified. Look up 'Luka Le Roux' in Google

Ciprian Teodorov

This author has not been identified. Look up 'Ciprian Teodorov' in Google
runs on