Blog Post

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

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

The Discussion

Add Your 2 Cents