Date 14-17 April 2009
Filter Results
Displaying Results 1 - 25 of 56
-
[Front cover]
|
PDF (4852 KB)
-
[Title page i]
|
PDF (9 KB)
-
[Title page iii]
|
PDF (231 KB)
-
Table of contents
|
PDF (176 KB)
-
Message from the General Chairs
|
PDF (68 KB)
-
Message from the Research Programme Chair
|
PDF (67 KB)
-
Message from the Industry Programme Chairs
|
PDF (67 KB)
-
Steering Committee
|
PDF (62 KB)
-
Organising Committee
|
PDF (69 KB)
-
Research Programme Committee
|
PDF (81 KB)
-
Industry Programme Committee
|
PDF (72 KB)
-
Research Paper Reviewers
|
PDF (55 KB)
-
Keynote Presentation 1
|
PDF (68 KB)
-
Keynote Presentation 2
|
PDF (68 KB)
-
Keynote Presentation 3
|
PDF (64 KB)
-
Invited Presentation 1
|
PDF (68 KB)
-
Invited Presentation 2
|
PDF (84 KB)
-
Sponsors
|
PDF (648 KB)
-
Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation
|
PDF (258 KB)
-
Simulating Software Evolution with Varying Numbers of Developers and Validation Using OSS
|
PDF (305 KB)
-
-
-
-
-


