Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings

doi:10.1007/978-3-032-10444-1

No full text

Collective work published as editor or director (Books)

Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings

BIANCULLI, Domenico; Elena Gómez-Martínez

2025 • Springer Nature Switzerland

Editorial reviewed

Permalink
https://hdl.handle.net/10993/67074

DOI
10.1007/978-3-032-10444-1

Files (0)Send to Details Statistics Bibliography Similar publications

Files

Full Text

No document available.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Research center :

Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation

Disciplines :

Computer science

Editor :

BIANCULLI, Domenico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV

Elena Gómez-Martínez

External co-authors :

yes

Language :

English

Title :

Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings

Publication date :

November 2025

Publisher :

Springer Nature Switzerland

ISBN/EAN :

978-3-03-210444-1
978-3-03-210443-4

Number of pages :

280

Collection name :

Lecture Notes in Computer Science

Peer reviewed :

Editorial reviewed

Focus Area :

Security, Reliability and Trust

Available on ORBilu :

since 05 January 2026

Statistics

Number of views

18 (1 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

OpenCitations

OpenAlex citations