Symbolic Verification of MPI Programs with Non-deterministic Synchronizations

von Yu, Hengbiao
Veröffentlicht in SETTA (6. : 2020 : Online) Dependable software engineering (2020)