Formal Aspects of Component Software

Lecture notes in computer science

Authors 2

1. Farhad Arbab Aachen

   Leiden University · Centrum Wiskunde & Informatica

   Affiliation as printed

   CWI, University of Leiden, Leiden, The Netherlands

2. Sung-Shik Jongmans

   Open University of the Netherlands

   Affiliation as printed

   Department of Computer Science

   RS-Research Line Resilience (part of LIRS program)

   Open University of the Netherlands, Heerlen, The Netherlands