Title of article
Applications of Formal Methods to System Design and Verification
Author/Authors
Arbab, Farhad CWI, Netherlands , Arbab, Farhad Leiden University, Netherlands , Sirjani, Marjan university of tehran, تهران, ايران , Sirjani, Marjan IPM, ايران
From page
1970
To page
1971
Journal title
Journal of J.UCS (Journal of Universal Computer Science)
Journal title
Journal of J.UCS (Journal of Universal Computer Science)
Record number
2660884
Link To Document