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