Go home now Header Background Image
Submission Procedure
share: |
Follow us

Farhad Arbab
Software Engineering Dept., CWI, The Netherlands

R. Banach, F. Arbab, G. A. Papadopoulos, J. R. W. Glauert:
A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model
page 2 - 33
Vol.9 / Issue 1
F. Arbab, M. Sirjani:
Applications of Formal Methods to System Design and Verification
page 1970 - 1971
Vol.13 / Issue 13
F. Arbab, J.N. Kok:
Compositional Construction and Reasoning Techniques for Software
page 1577 - 1579
Vol.11 / Issue 10