Speech about Hypothesis Verifier project given in St.Petersburg Electrotechnical University LETI on 10.04.2010 as a part of S.N.Pozdnyakov special course for computer science students (magister program)Read less