Verification, model checking, and abstract interpretation

10th international conference : proceedings

Verfasser / Beitragende:
VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ; Neil D. Jones ... [et al.] (eds.)
Ort, Verlag, Jahr:
Berlin : Springer, 2009
Beschreibung:
Online-Ressource
Format:
Buch (Kongress) (online)
Online Zugang:
ID: 192895354

Keine Exemplare vorhanden

Es sind keine Exemplare vorhanden