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

Представление с неподвижной точкой. Условия справедливости. Синтез OBDD
Introduction to Verification

What: Lecture
When: Saturday, 03 November 2007, 17:25–18:55
Where: ПОМИ РАН
Slides: verification_lecture_031107.pdf
Computer Science Club, 2007–24 гг.