author : Victoria Stavridou

Short works

• A Formalization of Software Architecture. 1999. (In FM'99 volume 1 )
• Secure Interoperation of Secure Distributed Databases. 1999. (In FM'99 volume 1 )