Verification, Model Checking, and Abstract Interpretation:...

Main
Verification, Model Checking, and...

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

Name: Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
ISBN: 9783030945824

Bernd Finkbeiner, Thomas Wies

0 / 4.0

0 comments

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

Год:

2022

Издательство:

Springer

Язык:

english

Страницы:

532

ISBN 10:

3030945820

ISBN 13:

9783030945824

Серия:

Lecture Notes in Computer Science, 13182

Файл:

EPUB, 55.18 MB

IPFS:

english, 2022

Скачивание этой книги недоступно по жалобе правообладателя

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

Ключевые слова