Quantcast
Channel: Comment Feed for Channel 9 - ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
Viewing all articles
Browse latest Browse all 6

Re: ICSE 2011: Grigore Rosu - The Art and Science of Program Verification

$
0
0
Great thanks for the video! I had a lot of fun watching!
Both speakers are great professionals as it seems. Hope to meet personally such people one day.

posted by EvgeniyPlusPlus


Viewing all articles
Browse latest Browse all 6

Trending Articles