Statistics of Automated reasoning for equivalences in the applied pi calculus with barriers

Contact ORBilu