Main Menu
HOME
TECHNOLOGY
SERVICES
PRODUCTS
PAPERS
ABOUT
NEWS
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