APA (7th ed.) Citation

Nokhbeh Zaeem, R. (2010). Contract-based data structure repair using alloy.

Chicago Style (17th ed.) Citation

Nokhbeh Zaeem, Razieh. Contract-based Data Structure Repair Using Alloy. 2010.

MLA (8th ed.) Citation

Nokhbeh Zaeem, Razieh. Contract-based Data Structure Repair Using Alloy. 2010.

Warning: These citations may not always be 100% accurate.