Software engineering
Software engineering (295)
Physical sciences > Computer science > Programming > Software engineeringTemporal 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 Ákos Detrekői 15 years ago - 11:49
Kivonatoló program kontra emberi kivonatolás
ATA over Ethernet tárolórendszerek virtualizálása:
Érvek és ellenérvek a Digital Rights Management
A Microsoft ISA 2004 képességei
Védjük meg személyes információnkat! - Microsoft
Microsoft Digital Rights Management -
A Linux mint tűzfal teljesítménye és
György Pásztor 15 years ago - 23:25