[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