The ideal of program correctness

Oxford University Computing Laboratory
emeritus professor of computing
Microsoft
senior researcher
Recording date: 2006-09-19 09:00:00
Upload time: 2010-06-23 15:13:23

Loading...