City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Инъективность и дизъюнктность конструкторов. Большая элиминация. Паттерн "конвой". Доказательства по индукции. Prop и Type.
Introduction to Formal Verification

What: Lecture
When: Thursday, 01 April 2021, 18:30–20:00
Where: Конференция в zoom, Онлайн

Video