Elsevier B.V.
F. Arbab (Farhad) , D. Goldin
Electronic Notes in Theoretical Computer Science
Foundations of Interactive Computing (satellite workshop of ETAPS 2007)
Computer Security

Arbab, F., & Goldin, D. (Eds.). (2008). Post-proceedings of the second International Workshop on the Foundations of Interactive Computation. In F. Arbab & D. Goldin (Eds.), Proceedings of Foundations of Interactive Computing (satellite workshop of ETAPS 2007) 2007 (2) (pp. 1–106). Elsevier B.V.