VIDEOTORIUM
Toggle navigation
Kategóriák
Csatornák
Élő közvetítések
Bejelentkezés
Register
×
Close
Bejelentkezés
E-mail cím
*
Jelszó
*
Bejelentkezés
Shibboleth Login
eduID bejelentkezés
Google bejelentkezés
Facebook bejelentkezés
Regisztráció
|
Elfelejtett jelszó
×
Close
Register
Felhasználónév
*
E-mail cím
*
*
Jelszó
*
Jelszó megerősítése
*
CAPTCHA
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.
Math question
*
4 + 1 =
Új fiók létrehozása
English
Magyar
Keresés
Keresés
(8)
Opening & welcome
kifu
Dr. Szeredi Péter
Dines Bjørner
Prof. Emer Detrekői Ákos
14 éve - 11:49
The ideal of program correctness
kifu
Prof. Sir Tony Hoare
14 éve - 42:46
A million lines of verified code
kifu
Jim Woodcock
14 éve - 40:26
Have we learned from the Wasa disaster?
kifu
Jean-Raymond Abrial
14 éve - 38:02
Temporal annotations and their validation
kifu
Amir Pnueli
14 éve - 47:40
The German VeriSoft Project 2003-2007
kifu
Wolfgang J. Paul
14 éve - 44:05
Model checking, theorem proving, and abstract
kifu
Thomas Henzinger
14 éve - 41:21
Panel: Pan-European collaboration
kifu
14 éve - 1:00:11