17th FoSSaCS 2014: Grenoble, France (Part of ETAPS 2014)

Refine list

showing all ?? records

Probabilistic Systems

Semantics of Programming Languages

Networks

Program Analysis

Games and Synthesis

Compositional Reasoning

Bisimulation

Categorical and Algebraic Models

Logics of Programming

a service of  Schloss Dagstuhl - Leibniz Center for Informatics