(2010). Verified software: Theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.).
Citación estilo ChicagoVerified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : Proceedings / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.). 2010.
Cita MLAVerified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : Proceedings / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.). 2010.
Warning: These citations may not always be 100% accurate.