期刊
FORMAL ASPECTS OF COMPUTING
卷 32, 期 2-3, 页码 155-155出版社
SPRINGER
DOI: 10.1007/s00165-020-00516-1
关键词
-
资金
- EPSRC [EP/R025479/1, EP/H017461/1, EP/M025756/1] Funding Source: UKRI