Login / Signup

Compositional Modelling and Reasoning in an Institution for Processes and Data.

Liam O'ReillyTill MossakowskiMarkus Roggenbach
Published in: WADT (2010)
Keyphrases