Monica Lara de Souza

Publication Activity (10 Years)

Years Active: 1995-1995
Publications (10 Years): 0

Publications

Monica Lara de Souza, Robert de Simone
Using PO Methods for Verfying Behavioural Equivalences. FORTE (1995)