ASM 2000: Monte Verità, Switzerland

[–] 

Refine list

showing all 22 records

refine by search term

refine by author

refine by access 

Introduction

Mathematical Foundations

Abstract State Machine Languages

Distribution and Concurrency

Compilers and Semantics

Automatic Verification and Model Checking

Industrial Applications