Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352)
-
Author:
Patrick Cousot, Daniel Kroening, Carsten Sinz
-
Source:
Dagstuhl Reports, Volume 4, Number 8, August 2014: 107-125