Specification Case Studies in RAISEHung Dang Van, Chris George, Tomasz Janowski, Richard MooreHäftad, 20021 102 kr