Sciweavers

SAMOS
2004
Springer

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

13 years 10 months ago
IDF Models for Trace Transformations: A Case Study in Computational Refinement
Cagkan Erbas, Simon Polstra, Andy D. Pimentel
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where SAMOS
Authors Cagkan Erbas, Simon Polstra, Andy D. Pimentel
Comments (0)