I’m visiting the programming languages and verification group at Colorado University Boulder today and tomorrow. The slides for my talk are here. Sriram and a number of doctoral students from the group came out for Midwest Verification Day ’10 at Iowa in the early fall, and it is great to get to visit them now.

Share this: Twitter

Facebook

Like this: Like Loading... Related