A Rewriting Approach to the Combination of Data Structures with Bridging Theories

TitleA Rewriting Approach to the Combination of Data Structures with Bridging Theories
Publication TypeConference Paper
Year of Publication2015
AuthorsChocron, P, Fontaine, P, Ringeissen, C
EditorLutz, C, Ranise, S
Conference NameFrontiers of Combining Systems ({FroCoS})
PublisherSpringer
DOI10.1007/978-3-319-24246-0_17
Work Package: 
WP2