4. A Complete Axiomatisation of a Fragment of Language Algebra (2020)
Attributed to:
Interface reasoning for interacting systems (IRIS).
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://hal.inria.fr/hal-02024864
Type: Conference/Paper/Proceeding/Abstract