APA ציטוט

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

Chicago Style (17th ed.) Citation

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

ציטוט MLA

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