Software (theme 1)
North-Holland
Science of Computer Programming
Computer Security

Pourvatan, B, Sirjani, M, Hojjat, H, & Arbab, F. (2012). Symbolic execution of Reo circuits using constraint automata. Science of Computer Programming, 77, 848–869.