11th ZUM 1998: Berlin, Germany

Industrial Issues

Concurrency

Tools

Z and HOL

Safety-Critical and Real-Time Systems

Semantic Theory

Theory and Standards

Reasoning and Consistency Issues

Refinement

Object Orientation

Appendices

a service of Schloss Dagstuhl - Leibniz Center for Informatics