CSE 127: Lecture 13
The topics covered in this lecture are
proofs of correctness
This was just a continuation of lecture
12. See the notes there.
These are links additional security-related information. Exploring
them is optional unless otherwise stated.
search CSE |
bsy's home page |
pgp certserver |
firstname.lastname@example.org, last updated Thu Feb 27 09:05:09 PST 2003. Copyright 2003 Bennet Yee.