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