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.

Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification

Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim. Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification. In Rick Rabiser, Manuel Wimmer, Iris Groher, Andreas Wortmann 0001, Bianca Wiesmayr, editors, Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024. Volume P-343 of LNI, pages 157-158, Gesellschaft für Informatik e.V., 2024. [doi]

Authors

Jan Haltermann

This author has not been identified. Look up 'Jan Haltermann' in Google

Marie-Christine Jakobs

This author has not been identified. Look up 'Marie-Christine Jakobs' in Google

Cedric Richter

This author has not been identified. Look up 'Cedric Richter' in Google

Heike Wehrheim

This author has not been identified. Look up 'Heike Wehrheim' in Google
runs on