Improving the Understandability of Formal Specifications: An Experience Report.

Felix Kossak, Atif Mashkoor, Verena Geist, Christa Illibauer

Browse the full REFSQ paper archive.