Special issue: 2nd World Congress on Formal Methods

被引：0

|

作者：

Cavalcanti, Ana ^{[1
]}

Dams, Dennis ^{[2
]}

机构：

[1] Univ York, Dept Comp Sci, York YO10 5GH, N Yorkshire, England

[2] Bell Labs Alcatel Lucent, B-2018 Antwerp, Belgium

来源：

FORMAL METHODS IN SYSTEM DESIGN | 2010年 / 37卷 / 2-3期

关键词：

D O I：

10.1007/s10703-011-0113-5

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：93 / 94

页数：2

相关论文

共 50 条

[1] Special issue: 2nd World Congress on Formal Methods
Ana Cavalcanti
Dennis Dams
[J]. Formal Methods in System Design, 2010, 37 : 93 - 94
[2] Special Issue: The 2nd World Congress on Oleo Science, WCOS 2022
Asakura, Kouichi
[J]. Journal of Oleo Science, 2024, 73 (04) : 389 - 392
[3] Special issue for the 2nd International Congress on Advanced Materials
Peter A. Lieberzeit
[J]. Monatshefte für Chemie - Chemical Monthly, 2014, 145 : 1 - 1
[4] Special issue for the 2nd International Congress on Advanced Materials
Lieberzeit, Peter A.
[J]. 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
[J]. RECENT HIGHLIGHTS IN ADVANCED MATERIALS, 2014, 575-576 : V - VI
[6] 2ND WORLD CONGRESS FOR SONOGRAPHERS
CURRY, R
[J]. JOURNAL OF DIAGNOSTIC MEDICAL SONOGRAPHY, 1989, 5 (04) : 162 - 162
[7] 2nd World Congress of Trichoscopy
不详
[J]. SKIN APPENDAGE DISORDERS, 2021, 7 (06): : 527 - 732
[8] 2ND WORLD CONGRESS OF CARDIOLOGY
不详
[J]. BRITISH MEDICAL JOURNAL, 1954, 2 (4890): : 750 - 750
[9] 2ND RECYCLING WORLD CONGRESS
HENSTOCK, ME
[J]. RESOURCES POLICY, 1979, 5 (03) : 222 - 230
[10] 2ND WORLD CONGRESS OF HERPETOLOGY
NEWMAN, DG
[J]. NEW ZEALAND JOURNAL OF ZOOLOGY, 1994, 21 (04) : R5 - R5

← 1 2 3 4 5 →