Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.: 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. Part II ([2020])

Record Type:
Book
Title:
Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.: 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. Part II ([2020])
Main Title:
Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.
Other Titles:
CAV 2020
Further Information:
Note: Shuvendu K. Lahiri, Chao Wang (eds.).
Editors:
Lahiri, Shuvendu
Wang, Chao, 1985-
Other Names:
CAV (Conference), 32nd
Contents:
Model Checking.- Software Verification.- Stochastic Systems.- Synthesis.
Publisher Details:
Cham, Switzerland : Springer
Publication Date:
2020
Extent:
1 online resource
Subjects:
004.24
Computer software -- Verification -- Congresses
Electronic books
Languages:
English
ISBNs:
9783030532918
3030532917
Related ISBNs:
3030532909
9783030532901
Notes:
Note: Description based on online resource; title from digital title page (viewed on August 13, 2020).
Access Rights:
Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
Access Usage:
Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:
British Library HMNTS - ELD.DS.518667
Ingest File:
03_106.xml