Structure Preserving Data Abstractions for Statecharts.

Steffen Helke, Florian Kammller

Browse the full FORTE paper archive.