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