Browse by Person

Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
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

This list was generated on Sun Oct 17 04:15:05 2021 BST.