The verifying compiler: a Grand Challenge for computing research
Owner: Videotorium admin
Categories: Software engineering, Software development
Playlists: Software Technology Forum (9th)
Prof. Sir Tony Hoare
(szerző)
Oxford University Computing Laboratory
emeritus professor of computing
Microsoft
senior researcher
Recording date: 2004-10-06 10:30:00
Upload time: 2010-05-26 15:20:54