4. KIC 2000: Parma, Italy

Part One: Invited Talk

Part Two: Architecture

Part Three: Methodologies

Part Four: Tools

Part Five: Implementation

Part Six: Application

Part Seven: Formal Methods

Part Eight: Evolution