Asadollahi, Somayeh and Rafe, Vahid and Rafeh, Reza (2009) Towards Automated Software Verification and Validation. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Torkeman Rahmani, Adel and Rafeh, Reza and Rafe, Vahid and Asadollahi, Somayeh (2009) Towards Automated Software Verification Using Model Checking Techniques. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED