IA072 Seminar on Verification - podzim 2020
prof. RNDr. Jan Strejček, Ph.D.
IA072 Seminar on Verification - podzim 2020
Info
Term
Autumn 2020
Chapter contains:
1
Study text
1
Web
Previous