6 Oct
2021
6 Oct
'21
8:14 p.m.
The Git repository has been relocated. Public, anonymous access is now at git://git.bugseng.com/ppl/ppl.git Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematical, Physical and Computer Sciences University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it