期刊名:Formal Methods in System Design/issn:0925-9856
收入的数据库查看文献题录(留空直达期刊首页)收入起止年份
SpringerNature Complete Journals
卷号:,首页页码:
Available from 1992 volume: 1 issue: 1