(2008). Leveraging applications of formal methods, verification and validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.).
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումLeveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.). 2008.
MLA (9րդ խմբ.) ՄեջբերումLeveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.). 2008.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.