共 50 条
[43]
Special issue on 'SAS 2016' Foreword
[J].
FORMAL METHODS IN SYSTEM DESIGN,
2018, 53 (02)
:165-165
[44]
Preface to the special issue: ISAIM 2016
[J].
Annals of Mathematics and Artificial Intelligence,
2018, 82
:187-188