FM 1999: Toulouse, France, Volume 1

Refine list

showing all ?? records

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