Introduction of Prof. Sir Tony Hoare

kifu László Bélády 14 years ago - 8:04

The verifying compiler: a Grand Challenge for

kifu Prof. Sir Tony Hoare 14 years ago - 48:06

Questions & Answers

kifu Prof. Sir Tony Hoare 14 years ago - 26:12

Introduction of Tibor Gyimóthy

kifu László Bélády 14 years ago - 1:29

Questions & Answers

kifu Tibor Gyimóthy 14 years ago - 12:30