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