13. ICFEM 2011: Durham, UK

Invited Talks

Formal Models

Model Checking and Probability

Specification and Development

Security

Formal Verification

Cyber Physical Systems

Event-B

Verification, Analysis and Testing

Refinement

Theorem Proving and Rewriting