Leveraging Applications of Formal Me...
Margaria, Tiziana.

 

  • Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice/ edited by Tiziana Margaria, Bernhard Steffen.
    Reminder of title: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
    other author: Margaria, Tiziana.
    Description: XIV, 530 p. 363 illus., 250 illus. in color.online resource. :
    Contained By: Springer Nature eBook
    Subject: Software engineering. -
    Online resource: https://doi.org/10.1007/978-3-030-03427-6
    ISBN: 9783030034276
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login