Вы здесь

Главная

Verification, Model Checking, and Abstract Interpretation: Proc./20th International Conference, VMCAI 2019, Cascais, Portugal, January 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
model checking
формальный метод
верификация по
автоматический анализ
статический анализ
абстракция
логика хоара
доказательство
программа
separation logic
Стр.: 
602 p.
Редактор: 
Enea C.
Piskac R.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11388
Карточка: 

Verification, Model Checking, and Abstract Interpretation: Proc./20th International Conference, VMCAI 2019, Cascais, Portugal, January 2019Ed. by Enea C., Piskac R..-Berlin.: Springer, 2019.-Vol. 11388.-602 p.-(Lecture Notes in Computer Science).