Verification, model checking, and abstract interpretation
10th international conference : proceedings
Gespeichert in:
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: