Verification, Model Checking, and Abstract Interpretation 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings /

Verification, Model Checking, and Abstract Interpretation 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings /

Show other versions (2)

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of veri...

Full description

Bibliographic Details
Other Authors: Beyer, Dirk (Editor, http://id.loc.gov/vocabulary/relators/edt), Zufferey, Damien (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2020
Edition:1st ed. 2020
Series:Theoretical Computer Science and General Issues, 11990
Subjects:
Artificial intelligence > Data processing
Computer engineering
Computer networks
Computer science
Logic programming
Software engineering
Computer Science Logic and Foundations of Programming
Computer Engineering and Networks
Data Science
Logic in AI
Software Engineering

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items