TY - RPRT TI - The Boyer-Moore Waterfall Model Revisited AU - Petros Papapanagiotou AU - Jacques Fleuriot PY - 2018 UR - https://arxiv.org/abs/1808.03810 ID - 1808.03810 ER -