не последняя версия

it.uniroma2.art.semanticturkey:st-core-framework 8.0.1

Semantic Turkey main project. It contains the core business logic of the system.

Категории	Категории Ant Компиляция и сборка KeY Данные Data Formats Formal Verification
Группа	Группа it.uniroma2.art.semanticturkey
Идентификатор	Идентификатор st-core-framework
Версия	Версия 8.0.1
Тип	Тип bundle

Скачать st-core-framework 8.0.1

Имя Файла	Размер
st-core-framework-8.0.1.pom
st-core-framework-8.0.1.jar	1 MB
st-core-framework-8.0.1-tests.jar	113 KB
st-core-framework-8.0.1-test-sources.jar	72 KB
st-core-framework-8.0.1-sources.jar	751 KB
st-core-framework-8.0.1-javadoc.jar	4 MB
Обзор