Вы здесь

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Вид: 
Сборник или журнал
Год: 
2020
Стр.: 
339 p.
Место издания: 
Издательство: 
Том: 
12345
Карточка: 

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY/Ed. by Ahrendt W., Beckert B., Bubel R., Hahnle R..-Berlin.: Springer, 2020.-Vol. 12345.-339 p.-(Lecture Notes in Computer Science).