Re:Automating Formal Proofs for Reactive Systems
by Majka on Sunday June 22, 2014 @02:28PM
(#7928709)
Interesting approach, I can see this being of great use, I will definitely take a closer look. also, nice video- especially the soccer references.
[ Parent
| on HN ]
There are no comments on this comment yet.