Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II /

Saved in:

Bibliographic Details
Corporate Author:	CAV (Conference) New York, N.Y.)
Other Authors:	Dillig, Isil (Editor), Tasiran, Serdar (Editor)
Format:	eBook
Language:	English
Published:	Cham, Switzerland : SpringerOpen, [2019]
Description:	1 online resource
Series:	Lecture notes in computer science ; 11562. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	Computer programs > Verification > Congresses. Software engineering. Logic design. Computer science. Computer industry. Artificial intelligence. Computer logic. artificial intelligence. Computer programs > Verification. Congress
Online Access:	Available to Lehigh users via the Directory of Open Access Books Available to Lehigh users via the Directory of Open Access Books
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

Available to Lehigh users via the Directory of Open Access Books
https://directory.doabooks.or...
Available to Lehigh users via the Directory of Open Access Books
https://directory.doabooks.or...