PT Unknown
AU Beckert, B
   Bingmann, T
   Kiefer, M
   Sanders, P
   Ulbrich, M
   Weigl, A
TI Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
SE Verified Software: Theories, Tools, and Experiments; 10th International Conference, VSTTE 2018; Oxford, UK, July 18–19, 2018; Revised Selected Papers. Ed.: R. Piskac
PY 2018
BP 248
EP 266
VL 11294
DI 10.1007/978-3-030-03592-1_14
LA english
PI Oxford, Vereinigtes Königreich
ER