Towards Abstract Analysis Techniques for Range Based System Simulations.

Florian Schupfer, Christoph Grimm, Markus Olbrich, Michael Krgel, Erich Barke

Browse the full FDL paper archive.