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 |