Вы здесь
Two-Step Deductive Verification of Control Software Using Reflex
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2020
Ключевые слова:
Стр.:
P. 50-63
Библиография:
Bibliogr.: p.62-63
Место издания:
Источник:
Том:
11964
Карточка:
Anureev I., Garanina N., Liakh T., Rozov A., Zyubin V., Gorlatch S..
Two-Step Deductive Verification of Control Software Using Reflex-Berlin.// LNCS, 2020.-Vol. 11964.-P. 50-63
Bibliogr.: p.62-63