Compositional Construction and Reasoning Techniques for Software

Дата
Авторы
Arbab,Farhad
Kok,Joost
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
Ключевые слова
Цитирование
URI
https://openrepository.mephi.ru/handle/123456789/8857
Коллекции
Публикации в журналах НИЯУ МИФИ