Sir Tony Hoare in UniTESK Lab
Monday, 07 July 2003
Professor Sir Tony Hoare has visited UniTESK Lab. Team in order to get familiar with program verification projects. (see photos)
 
[ Back ]
Copyright © 2014 Institute for System Programming of the Russian Academy of Sciences