Closed jakubklimek closed 4 years ago
https://pod-test.mvcr.gov.cz/otevřené-formální-normy/časová-specifikace/draft/#příklady-časová%20specifikace-čvrtý-příklad (čvrtý)
https://pod-test.mvcr.gov.cz/otevřené-formální-normy/časová-specifikace/draft/#příklady-časová%20specifikace-čvrtý-příklad (čvrtý)