IDF Models for Trace Transformtions: A Case Study in Computational Refinement

S. Polstra, C. Erbas, A. D. Pimentel
January 2003
Type
Conference paper
Publication
Proceedings of the 3rd Int. Workshop on Systems, Architectures, Modeling and Simulation (SAMOS 2003)