International Conference on Integrated Formal Methods
著者名典拠詳細を表示
| 著者の属性 | 会議 |
|---|---|
| 場所 | York;Dagstuhl Castle, Germany |
| 一般注記 | SRC:Integrated formal methods, c2000: t.p. (Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000) |
| Dates of Birth and Death | 1999;2000 |
| から見よ参照 | IFM Conference on Integrated Formal Methods, International Interntaional Conference, IFM |
| コード類 | 典拠ID=AU20017687 NCID=DA12901850 |