Barbosa, L. S.,
Meng, S.,
Aichernig, B. &
Rodrigues, N.,
2006,
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. 1 ed. World Scientific,
Vol. 2.
p. 69-118 (Series on Component-Based Software Development).
Research output: Chapter in Book/Report/Conference proceeding › Chapter