Formal specification comprehension: the art of reading and writing z.

Andreas Bollin, Dominik Rauner-Reithmayer

Browse the full ICSE paper archive.