TY - RPRT TI - Verification of a binary fluid solidification model in the finite-volume flow solver AU - Tomasz Waclawczyk AU - Michael Schaefer PY - 2015 UR - https://arxiv.org/abs/1507.01131 ID - 1507.01131 ER -