| Категории |
КатегорииAnt Компиляция и сборка KeY Данные Data Formats Formal Verification |
|---|---|
| Группа | Группаit.uniroma2.art.semanticturkey |
| Идентификатор | Идентификаторst-builder |
| Версия | Версия3.0 |
| Тип | Типcfg |
| Имя Файла | Размер |
|---|---|
| st-builder-3.0.pom | 8 KB |
| st-builder-3.0-st.cfg | 93 bytes |
| st-builder-3.0-features.xml | 4 KB |
| Обзор |