CSE 127: Lecture 13

The topics covered in this lecture are proofs of correctness

Proofs of Correctness

This was just a continuation of lecture 12. See the notes there.

Links

These are links additional security-related information. Exploring them is optional unless otherwise stated.

[ search CSE | CSE | bsy's home page | links | webster | MRQE | google | yahoo | citeseer | pgp certserver | openpgp certserver ]
picture of bsy

bsy+cse127.w03@cs.ucsd.edu, last updated Thu Feb 27 09:05:09 PST 2003. Copyright 2003 Bennet Yee.
email bsy.

Don't make me hand over my privacy keys!