« Per Student spending in Utah | Main | shopping list »
April 04, 2005
TACAS presentation on model checking with magnetic disk
[TACAS talk (pdf)] The slides from an early version of my talk for this friday. Its here mostly just in case something bad happens to my laptop on the way to Edinburgh...
Posted by jones at April 4, 2005 10:40 PM
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.)