20.12.2024
054637
Verifikační příklad 1032
Toto je příkladový model z verifikačního příkladu 1032, kapitoly F.
Používá se v