FM 2005: Newcastle upon Tyne, UK

Keynote Talks

Object Orientation

Resource Analysis and Verification

Timing and Testing

CSP, B and Circus

Security

Networks and Processes

Abstraction, Retrenchment and Rewriting

Scenarios and Modeling Languages

Model Checking

Industry Day: Abstracts of Invited Talks