OLVER project was presented at the PSI'06 international conference as a part of the "Formal Methods in Enforcement of Industrial Software Standards" talk. The conference was held 26-30 June, 2006 in Academgorodok, Novosibirsk, Russia.
Presentation slides are available here (.pdf).
27-Jun-2006: OLVER Presented at the PSI'06 International Conference