Software engineering


Artificial biochemistry

kifu Luca Cardelli 14 years ago - 44:49

Challenges of quantum informatics

kifu Jozef Gruska 14 years ago - 45:26

Model checking, theorem proving, and abstract

kifu Thomas Henzinger 14 years ago - 41:21

The German VeriSoft Project 2003-2007

kifu Wolfgang J. Paul 14 years ago - 44:05

Have we learned from the Wasa disaster?

kifu Jean-Raymond Abrial 14 years ago - 38:02

A million lines of verified code

kifu Jim Woodcock 14 years ago - 40:26

The ideal of program correctness

kifu Prof. Sir Tony Hoare 14 years ago - 42:46

Opening & welcome

kifu Dr. Péter Szeredi
Dines Bjørner
Prof. Emer Ákos Detrekői
14 years ago - 11:49

Concept of the new Textor Control System -

wigner Horst T. Lambertz 14 years ago - 11:15