• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Software Engineering and Formal Methods
 
  • Details
  • Full
Options
2015
Conference Proceeding
Title

Software Engineering and Formal Methods

Title Supplement
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Person Involved
Calinescu, R.
Rumpe, B.
Publisher
Springer International Publishing  
Publishing Place
Cham
Conference
International Conference on Software Engineering and Formal Methods (SEFM) 2015  
Language
English
Fraunhofer-Institut für Angewandte Informationstechnik FIT  
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024