Deriving a State Model of a Control Program by Symbolic Execution.

Herbert Prhofer, Thomas Bohm, Josef Pichler

Browse the full INDIN paper archive.