[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