Группа библиотек: io.github.contractautomataproject

ContractAutomataLib

io.github.contractautomataproject : catlib

Library for specifying and verifying contract automata.

Последняя версия: 1.0.1

Дата: 29 апр. 2022 г.