Hi user
Admin Login:
Usable formal methods - are we there yet?

* [(00:00)](http://youtu.be/RxHjhBVOCSU?t=0h0m0s)
* [(37:59)](http://youtu.be/RxHjhBVOCSU?t=0h37m59s)

* [(00:00)](http://youtu.be/RxHjhBVOCSU?t=0h0m0s) 37.0 min
* [(37:59)](http://youtu.be/RxHjhBVOCSU?t=0h37m59s) 7.0 min

(00:00)
(37:59)

Veyepar Video Eyeball Processor and Review