IDF Models for Trace Transformations: A Case Study in Computational Refinement
['Cagkan Erbas', 'Simon Polstra', 'Andy D. Pimentel']
IDF Models for Trace Transformations: A Case Study in Computational Refinement