Specifying static analysis tools using formal methods.

Kevin Lano

Browse the full ICECCS paper archive.