Authors: Naumann, DA

Citation: Da. Naumann, Predicate transformer semantics of a higher-order imperative language withrecord subtyping, SCI COMP PR, 41(1), 2001, pp. 1-51

Authors: Naumann, DA

Citation: Da. Naumann, Calculating sharp adaptation rules, INF PROCESS, 77(2-4), 2001, pp. 201-208

Authors: Cavalcanti, A Naumann, DA

Citation: A. Cavalcanti et Da. Naumann, A weakest precondition semantics for refinement of object-oriented programs, IEEE SOFT E, 26(8), 2000, pp. 713-728