
26 May
2011
26 May
'11
3:35 p.m.
Hi Harry.
Now the PPL web site has a properly signed certificate. Thanks for letting us know. Cheers,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it