Lecture by Robert Sedgewick
“If You Can Specify It, You Can Analyze It” —The Lasting Legacy of Philippe Flajolet
May 21st, 2013
Reiner Hähnle
Abstract Symbolic Execution; March 7th, 2013
“If You Can Specify It, You Can Analyze It” —The Lasting Legacy of Philippe Flajolet
May 21st, 2013
Abstract Symbolic Execution; March 7th, 2013