Forward simulation for data refinement of classes

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



  • Cavalcanti, A. (
  • Naumann, D.A.
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 08 Apr 2009 16:09
Last Modified: 08 Apr 2009 16:09
Published Version:
Status: Published
Publisher: Springer
Identification Number:

Share / Export