Many-Valued and Many-Sorted Structure Relations
Author(s) -
Patrik Eklund,
Mats Johansson,
Magnus Löfstrand,
Michael Winter
Publication year - 2019
Language(s) - English
Resource type - Conference proceedings
DOI - 10.35199/dsm2019.8
Subject(s) - computer science , system of systems engineering , information engineering , process (computing) , software engineering , theoretical computer science , systems engineering , information system , systems design , engineering , programming language , electrical engineering
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom