Browse by Author/Person
Number of items: 2. Torkeman Rahmani, Adel and Rafeh, Reza and Rafe, Vahid and Asadollahi, Somayeh (2009) Towards Automated Software Verification Using Model Checking Techniques. Sixth International Symposium on Theoretical Aspects of Software Engineering , Tianjin, China, 29-31 July, 2009 . Asadollahi, Somayeh and Rafe, Vahid and Rafeh, Reza (2009) Towards Automated Software Verification and Validation. International Conference on Computer Technology and Development (ICCTD), Kota Kinabalu, Malaysia , 13-15 November 2009 . |
