|
|
|
Size
|
REMINDER:BCS-FACS Evening Seminar by Richard Bornat on Separation Logic, 8 December 2005, 6pm, London
|
Paul Boca |
Wed, 30 Nov 2005 23:11:29 -0000 |
111 lines |
BCS-FACS Christmas meeting on Formal Methods and Testing, London, UK, 19 December 2005
|
Jonathan Bowen |
Fri, 25 Nov 2005 11:25:05 -0000 |
244 lines |
BCS-FACS Evening Seminars: speakers' slides
|
[log in to unmask] |
Thu, 17 Nov 2005 17:56:38 +0000 |
19 lines |
Seminar by Richard Bornat on Separation Logic, 8 December 2005, 6pm, London
|
[log in to unmask] |
Thu, 17 Nov 2005 12:22:49 +0000 |
126 lines |
Seminar at London South Bank University on 8 November: "Nominal Algebraic Specifications"
|
Jonathan Bowen |
Sat, 5 Nov 2005 17:36:23 -0000 |
88 lines |
FACS Evening Seminar by Prof. Martin Henson, 8 November, 5.45pm, London
|
[log in to unmask] |
Tue, 1 Nov 2005 09:55:11 +0000 |
105 lines |