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

ContractAutomataLib

io.github.davidebasile : ContractAutomataLib

Library for specifying and verifying contract automata.

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

Дата: 22 сент. 2021 г.