International Conference on Software Engineering and Formal Methods

ID:DA17970260

別名: SEFM (Conference)

SEFM

Conference on Software Engineering and Formal Methods, International

同姓同名の著者を検索

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

1

Software engineering and formal methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, proceedings

Bernd-Holger Schlingloff, Ming Chai (eds.)

Springer c2022 Lecture notes in computer science 13550 . Formal methods

: pbk

所蔵館1館
2

Software engineering and formal methods : 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021, proceedings

Radu Calinescu, Corina S. Păsăreanu (eds.)

Springer c2021 Lecture notes in computer science 13085 . Formal methods . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

所蔵館1館
3

Information technology and open source : applications for education, innovation, and sustainability : SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, revised selected papers

Antonio Cerone ... [et al.] (eds.)

Springer c2014 Lecture notes in computer science 7991 . LNCS sublibrary ; SL 2 . Programming and software engineering

: pbk

所蔵館2館

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

関連著者

ページトップへ