Term-Gleichungen

funktionales Programm = Gleichungssystem

Beweis von Programm-Eigenschaften durch



Johannes Waldmann 2011-06-29