IA072 Seminar on Verification
prof. RNDr. Jan Strejček, Ph.D.
IA072 Seminar on Verification
Info
Období
jaro 2023
Kapitola obsahuje:
1
Studijní text
Předchozí