[PRL] [Fwd: CSAIL Event Calendar] TALK:Thursday 4-14-05 Reasoning about Reliability and Security Using Boo

[Mitchell Wand]

An embedded message was scrubbed...
From: CSAIL Event Calendar <eventcalendar at csail.mit.edu>
Subject: TALK:Thursday 4-14-05 Reasoning about Reliability and Security
	Using Boo
Date: Wed, 23 Mar 2005 09:35:07 -0500
Size: 3359
Url: https://lists.ccs.neu.edu/pipermail/prl/attachments/20050323/2013f16e/attachment.mht