Login / Signup

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning.

Didier GalmicheTimo LangDavid J. Pym
Published in: CoRR (2024)
Keyphrases