Special issue: 2nd World Congress on Formal Methods

被引：0

|

作者：

Ana Cavalcanti

Dennis Dams

机构：

[1] University of York,Department of Computer Science

[2] Bell Labs Alcatel-Lucent,undefined

来源：

Formal Methods in System Design | 2010年 / 37卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：93 / 94

页数：1

相关论文

共 50 条

[1] Special issue: 2nd World Congress on Formal Methods
Cavalcanti, Ana
Dams, Dennis
FORMAL METHODS IN SYSTEM DESIGN, 2010, 37 (2-3) : 93 - 94
[2] Special Issue: The 2nd World Congress on Oleo Science, WCOS 2022
Asakura, Kouichi
Journal of Oleo Science, 2024, 73 (04) : 389 - 392
[3] Special issue for the 2nd International Congress on Advanced Materials
Peter A. Lieberzeit
Monatshefte für Chemie - Chemical Monthly, 2014, 145 : 1 - 1
[4] Special issue for the 2nd International Congress on Advanced Materials
Lieberzeit, Peter A.
MONATSHEFTE FUR CHEMIE, 2014, 145 (01): : 1 - 1
[5] Foreword to the KEM Special Issue by the 2nd International Congress on Advanced Materials
Li, Songjun
RECENT HIGHLIGHTS IN ADVANCED MATERIALS, 2014, 575-576 : V - VI
[6] 2ND WORLD CONGRESS FOR SONOGRAPHERS
CURRY, R
JOURNAL OF DIAGNOSTIC MEDICAL SONOGRAPHY, 1989, 5 (04) : 162 - 162
[7] 2nd World Congress of Trichoscopy
不详
SKIN APPENDAGE DISORDERS, 2021, 7 (06): : 527 - 732
[8] 2ND WORLD CONGRESS OF CARDIOLOGY
不详
BRITISH MEDICAL JOURNAL, 1954, 2 (4890): : 750 - 750
[9] 2ND RECYCLING WORLD CONGRESS
HENSTOCK, ME
RESOURCES POLICY, 1979, 5 (03) : 222 - 230
[10] THE 2ND WORLD NEUROLOGY CONGRESS
不详
CESKOSLOVENSKA PSYCHOLOGIE, 1988, 32 (05): : 450 - 453

← 1 2 3 4 5 →