Author books / Книги автора Ahmed Bouajjani David Monniaux (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Ahmed Bouajjani David Monniaux (eds.)

book Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

pdf

Author: Ahmed Bouajjani David Monniaux (eds.)
Language: English
Year: 2017

00

27.01.2024

0

0