|
|
|
Size
|
ICFEM 2000 2nd Call for Papers
|
<> |
Wed, 22 Dec 1999 13:34:42 +0000 |
249 lines |
ZB2000 2nd Call for Papers
|
<> |
Wed, 22 Dec 1999 13:34:04 +0000 |
291 lines |
Deadline extended: First Goddard Workshop on Formal Approaches to Agent-Based Systems
|
Jonathan Bowen |
Sun, 19 Dec 1999 17:28:02 +0000 (GMT) |
41 lines |
Hardware compilation mailing list announcement (ProCoS list)
|
Jonathan Bowen |
Wed, 15 Dec 1999 11:24:28 +0000 (GMT) |
35 lines |
CFP: Journal of Theoretical Computer Science, Special Issue on "Dependable Computing"
|
Jonathan Bowen |
Mon, 13 Dec 1999 15:31:08 +0000 (GMT) |
63 lines |
Call for papers - specification based testing
|
Rob Hierons |
Wed, 08 Dec 1999 12:22:19 +0000 |
111 lines |
ISO Z Standard Final Committee Draft
|
Jonathan Bowen |
Wed, 8 Dec 1999 11:37:29 +0000 (GMT) |
45 lines |
High-Integrity System and Industrial-Strength Formal Methods books
|
Jonathan Bowen |
Mon, 29 Nov 1999 16:36:14 GMT |
53 lines |
Transfer to
|
Jonathan Bowen |
Fri, 26 Nov 1999 15:08:10 +0000 (GMT) |
50 lines |