• Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering/ edited by Tiziana Margaria, Bernhard Steffen.
    Reminder of title: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II /
    other author: Margaria, Tiziana.
    Description: XIII, 427 p. 140 illus., 68 illus. in color.online resource. :
    Contained By: Springer Nature eBook
    Subject: Software engineering. -
    Online resource: https://doi.org/10.1007/978-3-031-19756-7
    ISBN: 9783031197567
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login