JUCS - Journal of Universal Computer Science 13(13): 1970-1971, doi: 10.3217/jucs-013-13
Applications of Formal Methods to System Design and Verification
expand article infoFarhad Arbab, Marjan Sirjani§
‡ WI, Netherlands, and Leiden University, Leiden, Netherlands§ Department of Electrical and Computer Engineering, University of Tehran, Iran
Open Access