Using PO Methods for Verfying Behavioural Equivalences.

Monica Lara de Souza, Robert de Simone

Browse the full FORTE paper archive.