Skip to content
Schedule
Speakers
Media
Partners
About
Archive
Experts
Hosts
Offline part
Code of Conduct
Participation rules
More
Become a speaker
Become a speaker
Schedule
Speakers
Media
Partners
About
Archive
Experts
Hosts
Offline part
Code of Conduct
Participation rules
RU
Start of main content
Yury Gribov
Tool developer: compilers, verification tools.
Talks from 2023 season
Watch recording
Talk type:
Talk
How to Write Comparators Correctly
Yury Gribov
