Items where authors include "Naumann, D.A."
Jump to: Proceedings Paper
Number of items: 1.
Proceedings Paper
Cavalcanti, A. and Naumann, D.A. (2002) Forward simulation for data refinement of classes. In: FME 2002: Formal Methods - Getting IT Right. International Symposium of Formal Methods Europe, July 22–24, 2002, Copenhagen, Denmark. Lecture Notes In Computer Science (2391). Springer , Berlin / Heidelberg , pp. 133-140. ISBN 978-3-540-43928-8