News
Bugfix in PS 9.2
Written: 18.12.2018 16:39
Written By: Felix Klein
Dear Students,
There was a bug on Problem Set 9, Exercise 2 in the semantics definition of t1 < t2. The bug now has been fixed in the current online version.
Kind Regards,
the Automata, Games, and Verification Team