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

Authors
Publication date 2003
Book title Proceedings of the 3rd Int. Workshop on Systems, Architectures, Modeling and Simulation (SAMOS 2003)
Pages (from-to) 167-172
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Conference contribution
Permalink to this page
Back