4 ms·
It was part of the talk in PyCon Ukraine 2018, which I took part. https://pyvideo.org/pycon-ukraine-2018/verification-of-concurrent-and-distributed-systems.html
by varelaz 8y ago
It was part of the talk in PyCon Ukraine 2018, which I took part. https://pyvideo.org/pycon-ukraine-2018/verification-of-concurrent-and-distributed-systems.html https://pyvideo.org/pycon-ukraine-2018/verification-of-concu... That's the video
Sorry it's on Russian and amount of steps was 33. Check 28:30