Software (theme 1)
IEEE Computer Society
Annual International Computer Software and Applications Conference
Computer Security

Izadi, M, Movaghar, A, & Arbab, F. (2007). Model Checking of Component Connectors. In 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China (pp. 673–675). IEEE Computer Society.