« Thinking about what I do outside | Main | how to configure a wiki »
April 26, 2005
References on interesting logics
[Math 670 Fall 1998 MWF 10:30-12 DRL 4C4] We are starting an independent study course on logics in verification. These are some good references.
Posted by jones at April 26, 2005 10:14 AM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)