[formal-methods] Reading for next week.
Jason Dusek
jason.dusek at gmail.com
Sun Jun 14 22:54:36 UTC 2009
Please read as far as you can for next week. Except if
you get to page 74 of the PDF -- then stop and review.
--
Jason Dusek
More information about the formal-methods
mailing list