Verifizierung

Beim Verifizieren wird überprüft, ob die Belegung b Formel f erfüllt.




Johannes Waldmann 2009-11-17