A webpage containing all the publications related to APTE, Algorithm for Proving Trace Equivalence is now available.

Eventually, this webpage will also list the different usages of APTE in the academic literature of computer science. As such, do not hesitate to send an email at v.f.p.cheval@cs.bham.ac.uk if you want your paper/tool/… to be listed on this webpage.