Список цитирования публикации:
VERIFICATION METHODOLOGY BASED ON ALGORITHMIC STATE MACHINE AND CYCLE-ACCURATE CONTRACT SPECIFICATIONS
Элементы 1—1 из 1.
| ID | Название публикации | Год |
|---|---|---|
| 9412 | РАЗВИТИЕ ТЕОРИИ КОНФОРМНОСТИ: СЕМАНТИКИ, ФОРМАЛЬНЫЕ МОДЕЛИ, АЛГОРИТМЫ | 2014 |
