Smith, Graeme

ID:DA16194584

別名: Smith, G. P. (Graeme P.)

同姓同名の著者を検索

検索結果2件中 1-2 を表示

1

Formal methods teaching : third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings

Brijesh Dongol, Luigia Petre, Graeme Smith (eds.)

Springer c2019 Lecture notes in computer science 11758 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

所蔵館1館
2

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings

Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)

Springer c2005 Lecture notes in computer science 3771

所蔵館7館

この著者を外部サイトでさがす

関連著者

International Conference on Integrated Formal Methods

ページトップへ