• 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. Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018. Pt.2: Verification
 
  • Details
  • Publications
Options
Title

Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018. Pt.2: Verification

Title Supplement
Limassol, Cyprus, November 5-9, 2018; Proceedings
Person Involved
Publisher
Springer International Publishing  
Publishing Place
Cham
Publication Date
2018
Series
Lecture Notes in Computer Science; 11245
ISBN
978-3-030-03420-7
978-3-030-03421-4
3-030-03420-8
Conference
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2018  
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024