The first three chapters of volume one of my autobiography are now edited and posted on box.net [click on the link above to see them.] I shall keep grinding away until all three volumes are available. Then I will tackle the Formal Methods tutorial from my other blog. I am trying to incorporate Charles Parsons' many helpful corrections, as well as some of those from other readers.
No comments:
Post a Comment