• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Hauptwerk
  4. NASA Formal Methods. 16th International Symposium, NFM 2024. Proceedings
 
  • Details
  • Publications
Options
Title

NASA Formal Methods. 16th International Symposium, NFM 2024. Proceedings

Title Supplement
Moffett Field, CA, USA, June 4-6, 2024
Editor(s)
Benz, Nathaniel
Publisher
Springer Nature  
Publication Date
2024
Series
Lecture Notes in Computer Science; 14627
ISBN
978-3-031-60697-7
978-3-031-60698-4
978-3-031-60699-1
DOI
10.1007/978-3-031-60698-4
Conference
NASA Formal Methods Symposium 2024  
Acronym
NFM
Language
English
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024