Мультиклет

05/23/2013

02:03 PM Сообщество Программное обеспечение: Верификация аппаратного обеспечения

Добрый день!
На сколько я понял из этого сообщения -- http://habrahabr.ru/post/146865/-- в качестве proof-asstant ...