International Conference on Software Engineering and Formal Methods

ID:DA17970260

Alias Name

SEFM (Conference)

SEFM

Conference on Software Engineering and Formal Methods, International

Search authors sharing the same name

Search Results1-4 of 4

1

Software engineering and formal methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings

Alexandre Madeira, Alexander Knapp, editors

Springer , [2025] , c2025 Lecture notes in computer science 15280 . Formal methods

Available at 1 libraries
2

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

Available at 1 libraries
3

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

Available at 1 libraries
4

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

Available at 2 libraries

Search this author

Related Authors