Verified Software - Theories, Tools, Experiments

4th International Conference : Proceedings

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)
ID: 180314823