APA (7 ম সংস্করণ) উদ্ধৃতি

(2009). Model checking software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings / Corina S. Pǎsǎreanu (ed.).

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : Proceedings / Corina S. Pǎsǎreanu (ed.). 2009.

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : Proceedings / Corina S. Pǎsǎreanu (ed.). 2009.