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

Author(s)

• International Conference on Software Engineering and Formal Methods
• Madeira, Alexandre
• Knapp, Alexander

Bibliographic Information

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

Alexandre Madeira, Alexander Knapp, editors

（Lecture notes in computer science, 15280 . Formal methods）

Springer, [2025] , , c2025

Note

Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)

Includes bibliographical references and index

Details

• NCID: BD10261924
• ISBN:
  • 9783031773815
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xv, 462 pages
• Size: 24 cm
• Classification:
  • DC23 : 005.1
• Subject Headings:
  • LCSH : Software engineering -- Congresses
  • LCSH : Formal methods (Computer science) -- Congresses
• Parent Bibliography ID:
  • BC04575556