author : Bruno Dutertre

Short works

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