[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Towards Automated Software Verification Using Model Checking Techniques
Asadollahi, Somayeh, Rafe, Vahid, Rafeh, Reza, Rahmani, Adel T.Year:
2009
Language:
english
DOI:
10.1109/tase.2009.40
File:
PDF, 214 KB
english, 2009