Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

MLA

Giannakopoulou, Dimitra, Daniel Kroening and SpringerLink (Online service). Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers. 1st ed. 2014. Cham : Springer International Publishing : Imprint: Springer, 2014.

APA

Giannakopoulou, D., Kroening, D. & SpringerLink (Online service). (2014). Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers. 1st ed. 2014. Cham : Springer International Publishing : Imprint: Springer.

Chicago

Giannakopoulou, Dimitra, Daniel Kroening and SpringerLink (Online service). Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers. Edited by Dimitra Giannakopoulou and Daniel Kroening. 1st ed. 2014. Cham : Springer International Publishing : Imprint: Springer, 2014.