Journal
FORMAL ASPECTS OF COMPUTING
Volume 32, Issue 2-3, Pages 155-155Publisher
SPRINGER
DOI: 10.1007/s00165-020-00516-1
Keywords
-
Categories
Funding
- EPSRC [EP/R025479/1, EP/H017461/1, EP/M025756/1] Funding Source: UKRI