Programy według omjstate.sf.net

Biblioteka Java, która umożliwia realizację maszyn państwowych, w tym obsługę stanów złożonych, warunki ochrony (predykaty) w języku programowania Java.