[PRL] [Fwd: Peter Sewell] [TYPES] Rigorous HOL specification for TCP, UDP, and Sockets

Mitchell Wand wand at ccs.neu.edu
Wed Mar 23 16:47:51 EST 2005


An embedded message was scrubbed...
From: Peter Sewell <Peter.Sewell at cl.cam.ac.uk>
Subject: [TYPES] Rigorous HOL specification for TCP, UDP, and Sockets 
Date: Wed, 23 Mar 2005 16:36:02 +0000
Size: 4655
Url: https://lists.ccs.neu.edu/pipermail/prl/attachments/20050323/44dc774d/attachment.mht


More information about the PRL mailing list