(1) Posted by Hauke Reddmann [Wednesday, Dec 14, 2016 21:48]
Unexpected Schnoebelen :-)
So I rented a book from the computer science library.
"Systems and Software Verification", a translation from
the French original written by Philippe Schnoebelen.
Wait, I could swear I read the name somewhere else...
TIL: Problemists have a life. This came totally
unexpected to me. Now if I only can get him to
do my homework :-)