, , ,
J.J.M.M. Rutten (Jan) , F. Arbab (Farhad)
Vrije Universiteit Amsterdam
Institute for Programming research and Algorithmics Dissertation Series ; 2010-10
Computer Security

de Oliveira Costa, D. (2010, December 13). Formal Models for Component Connectors. IPA dissertation series.