• Campus Access
  • About MPG.eBooks
Skip to content
Search Tips
  • Home>
  • Third IEEE International Confe...
  • Description
Language
  • Advanced
Cover Image
Read Now

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)

Bibliographic Details
Format: eBook
Published: New York The Institute of Electrical and Electronics Engineers, Inc. 2005
Subjects:
Computing And Processing
Online Access:
https://ieeexplore.ieee.org/servlet/opac?punumber=...
Collection: IEEE Conference Proceedings - Collection details see MPG.ReNa
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to BibTeX
  • Description
  • Staff View
Description
ISBN:9781509096541
0769524354

Similar Items

  • Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
    Published: (2006)
  • Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)
    Published: (2007)
  • Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.
    Published: (2004)
  • Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers
    Published: (2024)
  • Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops : ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
    Published: (2026)
Logo Max Planck Digital Library
  • Advanced Search
  • Recently Uploaded
  • Search History
  • Disclaimer
  • Privacy Policy
  • Cookie Settings
  • Contact
Loading...