Verification, Model Checking, and Ab...
SpringerLink (Online service)

 

  • Verification, Model Checking, and Abstract Interpretation = 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Verification, Model Checking, and Abstract Interpretation/ edited by Isil Dillig, Jens Palsberg.
    Reminder of title: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
    other author: Dillig, Isil.
    Description: XVIII, 540 p. 103 illus.online resource. :
    Contained By: Springer Nature eBook
    Subject: Computer logic. -
    Online resource: https://doi.org/10.1007/978-3-319-73721-8
    ISBN: 9783319737218
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login