Ein Entwurf zur maschinellen Untersttzung von Korrekheitsbeweisen bei Simulationen.

Wolfram-Manfred Lippe, Franz Wagner

Browse the full GI paper archive.