Login / Signup

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms.

Bernhard BeckertTimo BingmannMoritz KieferPeter SandersMattias UlbrichAlexander Weigl
Published in: VSTTE (2018)
Keyphrases