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

1. Automata-Based Software Engineering with Event-B

   Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

2. Extensions to the Predicate Programming Language for Efficient Graph Processing

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

3. Verification of dual pivot quicksort program

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

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