View source for TU Wien:Computer Aided Verification VU (Weissenbacher)

← TU Wien:Computer Aided Verification VU (Weissenbacher)

Jump to navigation Jump to search

You do not have permission to edit this page, for the following reason:

You must confirm your email address before editing pages. Please set and validate your email address through your user preferences.

You can view and copy the source of this page.

== Benötigte/Empfehlenswerte Vorkenntnisse ==
Es lohnt sich schon etwas über SAT Solver und Fixpunkte gehört zu haben, prinzipiell geht es aber auch ohne diese Vorkenntnisse.

Return to TU Wien:Computer Aided Verification VU (Weissenbacher).

Retrieved from "https://vowi.fsinf.at/wiki/TU_Wien:Computer_Aided_Verification_VU_(Weissenbacher)"