Symbolic Interpretation and Tracing of PASCAL-Programs.

Guido Persch, Georg Winterstein

Browse the full ICSE paper archive.