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

Лекции 1-2
Hardware Verification

What: Lecture
When: Sunday, 21 February 2010, 15:20–16:50
Where: ПОМИ РАН
Slides: hardwareverification_lecture_210210.pdf