Term-Gleichungen

funktionales Programm = Gleichungssystem

Beweis von Programm-Eigenschaften durch



Johannes Waldmann 2013-02-01