A Practical Method for Verifying Event-Driven Software (1998)

by J G Holzmann, H M Smith
Venue:in Computer Engineering in 2011 from Iran university of Islamic Azad University, Zanjan, Iran. She has published several papers about Software Testing. She is also lecturer at Azad University Khoy branch. Copyright (c) 2012 International Journal of Comput