FM@Galois Talks
Posted: November 10, 2011 Filed under: Formal methods Leave a comment »As I posted over on the Galois blog, I recently gave a talk a couple of times on formal methods at Galois over the years (pdf). It’s been fun putting theory into practice!
