, , , , , ,
www.jucs.org
F. Arbab (Farhad) , M. Sirjani (Marjan)
Journal of Universal Computer Science
International Workshop on Foundations of Software Engineering
Computer Security

Arbab, F, & Sirjani, M (Eds.). (2007). Applications of Formal Methods to System Design and Verification. In F Arbab & M Sirjani (Eds.), Journal of Universal Computer Science (Vol. 13, pp. 1970–2104). www.jucs.org.