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

Content of Issue 12
DOI: 10.3217/jucs-012-12
Managing Editor's Column H. Maurer 1700
Modeling Inheritance as Coercion in the Kenzo System C. Domínguez, J. Rubio, F. Sergeraert 1701
Restricting the View and Connecting the Dots — Dangers of a Web Search Engine Monopoly N. Kulathuramaiyer, W.-T. Balke 1731
A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic P. Poizat, J.-C. Royer 1741
Persian/Arabic Baffletext CAPTCHA M.H. Shirali-Shahreza, M. Shirali-Shahreza 1783