Applications of Formal Methods to System Design and Verification

Дата
Авторы
Arbab,Farhad
Sirjani,Marjan
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
Ключевые слова
Цитирование
URI
https://openrepository.mephi.ru/handle/123456789/9559
Коллекции