FM 1999: Toulouse, France, Volume 1

Invited Papers

Integration into the Development Process

Software Architecture

European Association for Theoretical Computer Science (EATCS)

Model Checking

The B Method

Composition and Synthesis

Telecommunications

Security

Object-Orientation

Testing