3. FME 1996: Oxford, UK

Invited Lectures

B

Action Systems

Requirements

VDM

User Interfacts for Formal Methods

Z

Distributed Systems (1)

Larch and LP

Model Checking

Distributed Systems

Testing and Debugging

Architecture and Reuse

Transformations

Model Checking