Project

General

Profile

betastat's activity

From 04/24/2013 to 05/23/2013

05/23/2013

02:03 PM Сообщество Программное обеспечение: Верификация аппаратного обеспечения
Добрый день!
На сколько я понял из этого сообщения -- http://habrahabr.ru/post/146865/-- в качестве proof-asstant ...
betastat
 

Also available in: Atom