Результаты исследований

1. Verification Condition Generator for Revised Reflex Language Using Isabelle/HOL

   Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Просмотреть все (1) »