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

Abstract

Metadata

Authors/Creators:
  • Cavalcanti, A. (alcc500@york.ac.uk)
  • 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: http://dx.doi.org/10.1007/3-540-45614-7_27
Status: Published
Publisher: Springer
Identification Number: 10.1007/3-540-45614-7_27

Share / Export

Statistics