Szoftvertechnológia
Szoftvertechnológia (296)
Élettelen természettudományok > Számítógéptudomány > Programozás > SzoftvertechnológiaThe German VeriSoft Project 2003-2007
Temporal annotations and their validation
Have we learned from the Wasa disaster?
A million lines of verified code
The ideal of program correctness
Opening & welcome
Dines Bjørner
Prof. Emer Detrekői Ákos 15 éve - 11:49