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