BCS-FACS Christmas Meeting
The Verified Software Repository
21 December 2004

IMG_3549.JPG

IMG_3550.JPG

IMG_3551.JPG

IMG_3552.JPG

IMG_3554.JPG

IMG_3555.JPG

IMG_3556.JPG

IMG_3557.JPG

IMG_3558.JPG

IMG_3559.JPG

IMG_3560.JPG

IMG_3561.JPG

IMG_3562.JPG

IMG_3563.JPG

IMG_3564.JPG

IMG_3565.JPG

IMG_3566.JPG

IMG_3567.JPG

IMG_3568.JPG

IMG_3569.JPG