Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике
| Язык оригинала | не определен |
|---|---|
| Название основной публикации | Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 30 October- 2 November 2004, Paphous, Cyprous, pp. 343-346. |
| Состояние | Опубликовано - 2004 |
| Опубликовано для внешнего пользования | Да |
ID: 4428459