<?xml version="1.0" encoding="UTF-8"?>
<xml>
<records>
<record>
  <ref-type name="Book Section">5</ref-type>
  <contributors>
    <authors>
      <author>Oraji, Yussur Mustafa</author>
      <author>Schwitanski, Simon</author>
      <author>Hück, Alexander</author>
      <author>Jenke, Joachim</author>
      <author>Kreutzer, Sebastian</author>
      <author>Bischof, Christian</author>
    </authors>
    <subsidiary-authors>
      <author>123010</author>
    </subsidiary-authors>
  </contributors>
  <titles>
    <title>Verifying MPI API Usage Requirements with Contracts</title>
    <secondary-title>Recent Advances in the Message Passing Interface : 32nd European MPI Users' Group Meeting, EuroMPI 2025, Charlotte, NC, USA, October 1–3, 2025, Proceedings / edited by Joseph Schuchart, Aurelien Bouteiller, Sascha Hunold, Julien Jaeger, Christoph Niethammer, Brian Smith</secondary-title>
    <secondary-title>32. European MPI Users' Group Meeting</secondary-title>
  </titles>
  <periodical/>
  <publisher>Springer Nature Switzerland</publisher>
  <pub-location>Cham</pub-location>
  <pub-location>Charlotte, NC, USA</pub-location>
  <language>English</language>
  <pages>54-72</pages>
  <number/>
  <volume>15977</volume>
  <abstract/>
  <notes>
    <note>Recent Advances in the Message Passing Interface : 32nd European MPI Users' Group Meeting, EuroMPI 2025, Charlotte, NC, USA, October 1–3, 2025, Proceedings / edited by Joseph Schuchart, Aurelien Bouteiller, Sascha Hunold, Julien Jaeger, Christoph Niethammer, Brian Smith ; </note>
  </notes>
  <label>7, ; PUB:(DE-HGF)7, ; PUB:(DE-HGF)8, ; </label>
  <keywords/>
  <accession-num>WOS:001661303000004</accession-num>
  <work-type>Contribution to a book</work-type>
  <dates>
    <pub-dates>
      <year>2026</year>
    </pub-dates>
    <date>2025-10-01 - 2025-10-03</date>
  </dates>
  <accession-num>RWTH-2026-02617</accession-num>
  <date>2025-10-01 - 2025-10-03</date>
  <year>2026</year>
  <urls>
    <related-urls>
      <url>https://publications.rwth-aachen.de/record/1029904</url>
      <url>https://doi.org/10.1007/978-3-032-07194-1_4</url>
      <url>&lt;Go to ISI&gt;://WOS:001661303000004</url>
    </related-urls>
  </urls>
</record>

</records>
</xml>