/java-typestate-checker

JaTyC: a typestate checker for Java

Primary LanguageKotlinMIT LicenseMIT

Watchers