Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... USA, January 19-25, 2020, Proceedings: 11990 - Brossura

Brossura

ISBN 10: 3030393216 ISBN 13: 9783030393212

Casa editrice: Springer, 2020

Riassunto

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.&nbsp;<div>The 21 papers presented in this volume were carefully reviewed from 44 submissions.&nbsp;VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.&nbsp;</div>

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2020
• Lingua: Inglese
• ISBN 10: 3030393216
• ISBN 13: 9783030393212
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 488
• Redattore: Beyer Dirk, Zufferey Damien
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania