11th ZUM 1998: Berlin, Germany

Refine list

showing all ?? records

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