Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie

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