[PRL] Travel to NEPLS
David Van Horn
dvanhorn at ccs.neu.edu
Mon May 28 22:26:39 EDT 2012
Previous message:
[PRL] Fwd: [MIT-PL] TALK:Monday 6-4-12 PL Seminar: Dafny: a tool for program correctness
Next message:
[PRL] Fwd: TP Msg. #1183 The Best of Both Worlds - Industry and Academia
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Is anybody planning to drive to NEPLS with room for me? David
Previous message:
[PRL] Fwd: [MIT-PL] TALK:Monday 6-4-12 PL Seminar: Dafny: a tool for program correctness
Next message:
[PRL] Fwd: TP Msg. #1183 The Best of Both Worlds - Industry and Academia
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the PRL mailing list