ASM 2000: Monte Verità, Switzerland

Refine list

showing all ?? records

Introduction

Mathematical Foundations

Abstract State Machine Languages

Distribution and Concurrency

Compilers and Semantics

Automatic Verification and Model Checking

Industrial Applications

a service of  Schloss Dagstuhl - Leibniz Center for Informatics