|
|
|
Size
|
BCS-FACS/LMS Evening Seminar by Prof. Peter O'Hearn: Reasoning about programs using a scientific method, 16 November 2010, 6pm, London
|
Paul Boca |
Sat, 16 Oct 2010 16:57:41 +0100 |
84 lines |
QSIC 2011 -- 11th International Conference on Quality Software
|
Haitao Dan |
Thu, 14 Oct 2010 14:27:51 +0100 |
222 lines |
Lecturer in Automated Verification, University of Southampton
|
Michael J Butler |
Tue, 12 Oct 2010 12:56:46 +0000 |
51 lines |
QSIC 2011 Call for Workshops
|
Haitao Dan |
Wed, 6 Oct 2010 14:43:30 +0100 |
82 lines |
FM 2011 (20-24 June 2011, Limerick, Ireland): Call for Tutorials
|
Jonathan Bowen |
Tue, 5 Oct 2010 21:59:47 +0100 |
64 lines |