(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.).
Tohutoru Kātū Chicago (17th ed.)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.). 2010.
Tohutoro MLA (9th ed.)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.). 2010.
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.