Verified Software - Theories, Tools, Experiments
4th International Conference : Proceedings
Gespeichert in:
Verfasser / Beitragende:
VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 ; Rajeev Joshi ... [et al.] (eds.)
Ort, Verlag, Jahr:
Berlin :
Springer,
2012
Beschreibung:
325 S. : Ill.
Format:
Buch (Kongress)
Online Zugang: