4th APSEC / 4th ICSC 1997: Clear Water Bay, Hong Kong

Refine list

showing all ?? records

Metrics and Quality Assurance

Formal Methods

Knowledge and Logic Based Systems

Object-Oriented Techniques

Validation and Verification I

Distributed and Mobile Systems

Software Design Methodology I

Validation and Verification I

Software Process

Software Design Methodology II

User Interaction


Software Development Environment


Concise Papers

Tutorial Summaries

a service of  Schloss Dagstuhl - Leibniz Center for Informatics