Verification, model checking, and abstract interpretation

12th international conference : proceedings

Verfasser / Beitragende:
VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; Ranjit Jhala ... [et al.] (eds.)
Ort, Verlag, Jahr:
Berlin : Springer, 2011
Beschreibung:
Online-Ressource
Format:
Buch (Kongress) (online)
Online Zugang:
ID: 192896075

Keine Exemplare vorhanden

Es sind keine Exemplare vorhanden