RUS
ENG
Full version
SEMINARS
Colloquium of the Faculty of Computer Science
April 11, 2017
18:10
, Moscow
Correctness-by-Construction for Inventing Algorithms
Bruce Watson
Stellenbosch University
https://www.youtube.com/watch?v=vQVd7a15imI
Language:
English
©
Steklov Math. Inst. of RAS
, 2024
