7. TAPSOFT 1997: Lille, France

Invited Lectures

Panel

Lectures

CAAP

Rewriting and Automata

Automata and Time

Termination

Bisimulations and Pi-Calculus

Set Constraints

Complexity

Unifications and Matching

Types

FASE

Specifications

Verification

Types and Their Applications

Real-Time and Distributed Systems

Semantics

Static Analysis

Refinement

Applications of Formal Methods to Software Engineering

TOOLS