Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules.

Min Zhang, Kazuhiro Ogata

Browse the full APSEC paper archive.