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.

*

Andoni Rodríguez, Felipe Gorostiaga, César Sánchez 0001. *. In Ruzica Piskac, Zvonimir Rakamaric, editors, Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV. Volume 15934 of Lecture Notes in Computer Science, pages 224-248, Springer, 2025. [doi]

Authors

Andoni Rodríguez

This author has not been identified. Look up 'Andoni Rodríguez' in Google

Felipe Gorostiaga

This author has not been identified. Look up 'Felipe Gorostiaga' in Google

César Sánchez 0001

This author has not been identified. Look up 'César Sánchez 0001' in Google
runs on