[formal-methods] I've given up on "Session 10 / #4c" and "Session 10 / #4d"

Jason Dusek jason.dusek at gmail.com
Mon Aug 10 06:00:58 UTC 2009


  These problems baffle me and I've set them aside.

--
Jason Dusek



More information about the formal-methods mailing list