On 05/03/2018 04:01 PM, Wegscheider wrote:

it seems like most links to documentation or paper files for ppl on your website just link back to the homepage. Is this intended?

Hi Fabian, many thanks for the report. Should be fixed now: can you please retry and let us know? Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com