[formal-methods] Stuck on a problem.
Jason Dusek
jason.dusek at gmail.com
Sun Aug 2 22:20:49 UTC 2009
Hi Mikael,
We are stuck on problem 4 of Session 10 in "Conceptual
Mathematics". Do you have any insight in to that?
--
Jason Dusek
More information about the formal-methods
mailing list