Jung, MichaelDeegener, Matthias2023-05-242023-05-242005https://dl.gi.de/handle/20.500.12116/41663dePEAC: Ein partieller Evaluator für engebettete SoftwareText/Journal Article0720-8928