Reengineering C/C++ Source Code by Transforming State Machines.

Roland Knor, Georg Trausmuth, Johannes Weidl

Browse the full ARES paper archive.