Authors: SERNADAS A SERNADAS C CALEIRO C

Citation: A. Sernadas et al., DENOTATIONAL SEMANTICS OF OBJECT SPECIFICATION, Acta informatica, 35(9), 1998, pp. 729-773

Authors: CALEIRO C SAAKE G SERNADAS A

Citation: C. Caleiro et al., DERIVING LIVENESS GOALS FROM TEMPORAL LOGIC SPECIFICATIONS, Journal of symbolic computation, 22(5-6), 1996, pp. 521-553

Authors: SERNADAS A SERNADAS C RAMOS J

Citation: A. Sernadas et al., A TEMPORAL LOGIC APPROACH TO OBJECT CERTIFICATION, Data & knowledge engineering, 19(3), 1996, pp. 267-294

Authors: COSTA JF SERNADAS A SERNADAS C

Citation: Jf. Costa et al., OBJECT INHERITANCE BEYOND SUBTYPING, Acta informatica, 31(1), 1994, pp. 5-26